Compositional refinement of interactive systems
Journal of the ACM (JACM)
Specification and development of interactive systems: focus on streams, interfaces, and refinement
Specification and development of interactive systems: focus on streams, interfaces, and refinement
Enriching the Software Development Process by Formal Methods
FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods
QUEST: Overview over the Project
FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods
The Quest for Correct Systems: Model Checking of Diagrams and Datatypes
APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference
Tool Supported Specification and Simulation of Distributed Systems
PDSE '98 Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems
Documentation Driven Development for Complex Real-Time Systems
IEEE Transactions on Software Engineering
Model-based system analysis using Chi and Uppaal: An industrial case study
Computers in Industry
Bottom-up reuse for multi-level testing
Journal of Systems and Software
Requirements engineering process improvement: an industrial case study
REFSQ'11 Proceedings of the 17th international working conference on Requirements engineering: foundation for software quality
| Hi-index | 0.00 |
We outline a practical modular method for the development of embedded systems from requirements and its comprehensive support by a CASE tool. Our focal point is on model-oriented development, multiview modelling, and validation. We present a method with a comprehensive tool support to develop models systematically from requirements and discuss various validation techniques by means of a car seat example. The resulting method is industrial strength, but nevertheless based on a solid scientific foundation and mathematical theory.