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




 Übergeordnete Seite: Jahr 1999

 Feedback
Zu den Kontaktdetails des Verantwortlichen dieser Seite

 English
This page in english. Diese Seite auf englisch.