Definition and Instantiation of a Reference Model for Problem Specifications
M. Kronenburg , C. Peper
11th Int. Conf. on Software Engineering and Knowledge Engineering (SEKE'99), Kaiserslautern, Germany, 1999, pp. 332-336
Zusammenfassung
Based on the reference model for requirements and specifications of Jackson, Zave, et al., a reference model for problem specifications of reactive systems is defined. Considering the requirements specification technique FOREST, it is shown that both reference models can be instantiated using a real-time temporal logic and that they are compatible with structural concepts like inheritance and aggregation.
Vollversion
- ps.gz (58kb)
Übergeordnete Seite: Jahr 1999 | |
Feedback | |
Zu den Kontaktdetails des Verantwortlichen dieser Seite |
English | |
This page in english. Diese Seite auf englisch. |