Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
Functional documents for computer systems
Science of Computer Programming
Documentation for safety critical software
ICSE '93 Proceedings of the 15th international conference on Software Engineering
The Core Method for Real-Time Requirements
IEEE Software
Logics and Models of Real Time: A Survey
Proceedings of the Real-Time: Theory in Practice, REX Workshop
Generic Engineering of Communication Protocols - Current Experience and Future Issues
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Specifying Software Requirements for Complex Systems: New Techniques and Their Application
IEEE Transactions on Software Engineering
A Termination Detection Algorithm: Specification and Verification
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Generic Engineering of Communication Protocols - Current Experience and Future Issues
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Hi-index | 0.00 |
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.