115 citations · 124 across the 4 of their papers we have counts for
4 papers
Software and System Modeling Based on a Unified Formal Semantics
Manfred Broy, Franz Huber, Barbara Paech +2
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 mode…
Towards Development of Correct Software using Views
Barbara Paech, Bernhard Rumpe
This paper aims at integrating heterogeneous documents used in pragmatic software develpoment methods to describe views with a formal refinement based software development process.…
Towards a Formalization of the Unified Modeling Language
Ruth Breu, Ursula Hinkel, Christoph Hofmann +4
The Unified Modeling Language UML is a language for specifying visualizing and documenting object oriented systems UML combines the concepts of OOA OODOMT and OOSE and is intended…
State Based Service Description
Barbara Paech, Bernhard Rumpe
In this paper we propose I/O state transition diagrams for service description In contrast to other techniques like for example Statecharts we allow to model non atomic services by…