Showing 1–1 of 1 results for author: Spies, K

Software and System Modeling Based on a Unified Formal Semantics

Authors: Manfred Broy, Franz Huber, Barbara Paech, Bernhard Rumpe, Katharina Spies

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 focuse… ▽ More 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. △ Less

Submitted 10 November, 2014; originally announced November 2014.

Comments: 26 pages, 4 figures; Requirements Targeting Software and Systems Engineering. International Workshop RTSE'97. Manfred Broy, Bernhard Rumpe (Eds.). Bernried, Germany, October 1997. LNCS 1526, Springer Verlag