Definition and Instantiation of a Reference Model for Problem Specifications
11th Int. Conf. on Software Engineering and Knowledge Engineering (SEKE'99), Kaiserslautern, Germany, 1999, pp. 332-336
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.
- ps.gz (58kb)
|Superordinated page: Year 1999|
|Go to the contact details of the person in charge of this page|
|This page in german. Diese Seite auf deutsch.|