By Topic

A generic approach to the formal specification of requirements

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

3 Author(s)
C. Peper ; Kaiserslautern Univ., Germany ; R. Gotzhein ; M. Kronenburg

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.

Published in:

Formal Engineering Methods., 1997. Proceedings., First IEEE International Conference on

Date of Conference:

12-14 Nov. 1997