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

Abstract

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.

Full paper





 

 
Go to the contact details of the person in charge of this page

 
This page in german. Diese Seite auf deutsch.