Track Description
Formal methods for developing computer systems are used mainly in areas of systems and software engineering where dependability and security are of utmost importance, but increasingly they also see use in lightweight techniques for improving the quality of systems. COMPSAC 2008 aims to advance the state-of-the-art by promoting the integration of methods and their theories, and merging them into industrial engineering practice.
Any submission whose content is relevant to the area of formal engineering methods will be considered, but submission whose subject matter is related to one of the following themes will be particularly welcome:
- Methods and theories for different programming paradigms and design patterns
- Formal model-based development and code generation
- Formal methods for object and component systems
- Abstraction and refinement
- Tool development and integration for system design and verification
- Lightweight tools based on formal methods
- Techniques for specification, verification, and validation
- Techniques and case studies for correctness by construction
- Applications in real-time, hybrid, and critical systems
- Development methodologies with their formal foundations