Application of the FOREST Approach to the Light Control Case Study
Дата
Авторы
Kronenburg,Martin
Peper,Christian
Journal Title
Journal ISSN
Volume Title
Издатель
Journal of Universal Computer Science
Аннотация
Описание
Forest is a requirements engineering approach designed to support the creation of precise and intelligible problem specifications of reactive systems. It integrates a product model, a process model, and an editing tool. In this paper, we present the results of applying the Forest approach to the Light Control Case Study. This includes the presentation of excerpts of the resulting problem specification, as well as the discussion of the strengths and shortcomings of the Forest approach.
Ключевые слова
formal requirements specification , problem specification , real-time temporal logic , object-orientation