27 citations · 51 across the 6 of their papers we have counts for
6 papers
Systems, Views and Models of UML
Ruth Breu, Radu Grosu, Franz Huber +2
In this paper we show by using the example of UML, how a software engineering method can benefit from an integrative mathematical foundation. The mathematical foundation is given b…
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…
Exemplary and Complete Object Interaction Descriptions
Ruth Breu, Radu Grosu, Christoph Hofmann +5
In this paper we present a variant of message sequence diagrams called EETs Extended Event Traces We provide the graphical notation discuss the methodological use of EETs to descri…
Towards a Precise Semantics for Object-Oriented Modeling Techniques
Ruth Breu, Radu Grosu, Franz Huber +2
In this paper we present a possible way how a precise semantics of object oriented modeling techniques can be achieved and what the possible benefits are .We outline the main model…
Modeling Dynamic Component Interfaces
Franz Huber, Andreas Rausch, Bernhard Rumpe
We adopt a component model based on object-oriented systems, introducing the concepts of components and their structure. A component consists of a dynamically changing set of conne…
Model-Based Software Engineering and Ada: Synergy for the Development of Safety-Critical Systems
Andree Blotz, Franz Huber, Heiko Loetzbeyer +3
In this paper we outline a software development process for safety-critical systems that aims at combining some of the specific strengths of model-based development with those of p…