Mastering the Complexity of Reactive Systems - The AutoFocusApproach
Bernhard Schätz · Kluwer Academic Publishers eBooks · 2006
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. These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.