The Community for Technology Leaders
Formal Engineering Methods, International Conference on (1997)
Hiroshima, JAPAN
Nov. 12, 1997 to Nov. 14, 1997
ISBN: 0-8186-8002-4
pp: 252
ABSTRACT
A generic approach to the formal specification of system requirements is presented. It is based on a pool of requirement patterns, which are related to design patterns well-known in object-oriented software development. The application of such patterns enhances the reusability and genericity as well as the intelligibility of the formal requirement specification. The approach is instantiated by a tailored real-time temporal logic and by selecting building automation systems as application domain. With respect to this domain, the pattern discovery and reuse tasks are explained and illustrated, and a set of typical requirement patterns is presented. The approach has the potential of reducing the effort to formally specify system requirements.
INDEX TERMS
requirements engineering, reuse, formal specification, temporal logic, real time application, reactive systems
CITATION

M. Kronenburg, C. Peper and R. Gotzhein, "A Generic Approach to the Formal Specification of Requirements," Formal Engineering Methods, International Conference on(ICFEM), Hiroshima, JAPAN, 1997, pp. 252.
doi:10.1109/ICFEM.1997.630432
82 ms
(Ver 3.3 (11022016))