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




 Superordinated page: Year 1999

 Feedback
Email to the person in charge of this page (vs_www@informatik.uni-kl.de)

 Deutsch
This page in german. Diese Seite auf deutsch.