Software reliability: measurement, prediction, application
Software reliability: measurement, prediction, application
Temporal verification of reactive systems: safety
Temporal verification of reactive systems: safety
Functional documents for computer systems
Science of Computer Programming
Specification and development of interactive systems: focus on streams, interfaces, and refinement
Specification and development of interactive systems: focus on streams, interfaces, and refinement
Encyclopedia of Software Engineering
Encyclopedia of Software Engineering
Model-Based Development of Embedded Systems
OOIS '02 Proceedings of the Workshops on Advances in Object-Oriented Information Systems
Cyber-physical systems: imminent challenges
Proceedings of the 17th Monterey conference on Large-Scale Complex IT Systems: development, operation and management
Hi-index | 0.00 |
In this chapter we apply the AutoFocus approach to the BART case study. In a nutshell, we investigate how a formally-based approach can help to structure the informal requirements, define system boundaries, specify an abstract behavior of the system and the environment, ensure the suitability of the model, and repeatedly enhance the system with design decisions.