Conference -
 Bernhard Rumpe
Software and System Modeling Based on a Unified Formal Semantics

Requirements Targeting Software and Systems Engineering, International Workshop RTSE'97, LNCS 1526



Author(s): Manfred Broy, Franz Huber, Barbara Paech, Bernhard Rumpe, Katharina Spies
Year: 1998
Publisher: Springer
Editor: Manfred Broy, Bernhard Rumpe
Abstract:Modeling and documentation are two essential ingredients for the engineering discipline of software development. During the last twenty years a wide variety of description and modeling techniques as well as document formats has been proposed. However, often these are not integrated into a coherent methodology with well-defined dependencies between the models and documentations. This hampers focused software development as well as the provision of powerful tool-support. In this paper we present the main issues and outline solutions in the direction of a unified, formal basis for software and system modeling.


Available as pdf


BibTeX-Entry:
@inproceedings{BHPRS98, author = {Manfred Broy and Franz Huber and Barbara Paech and Bernhard Rumpe and Katharina Spies}, title = {Software and System Modeling Based on a Unified Formal Semantics}, booktitle = {Requirements Targeting Software and Systems Engineering, International Workshop RTSE'97, LNCS 1526}, year = {1998}, publisher = {Springer}, editor = {Manfred Broy and Bernhard Rumpe} }

Bernhard Rumpe