papers
Publications (6)
cs.SE2002
Model-Based Software Engineering and Ada: Synergy for the Development of Safety-Critical Systems
Andree Blotz, Franz Huber, Heiko Loetzbeyer +3
cs.SE2014
Exemplary and Complete Object Interaction Descriptions
Ruth Breu, Radu Grosu, Christoph Hofmann +5
cs.SE2014
Systems, Views and Models of UML
Ruth Breu, Radu Grosu, Franz Huber +2
cs.SE2014
Software and System Modeling Based on a Unified Formal Semantics
Manfred Broy, Franz Huber, Barbara Paech +2
cs.SE2014
Towards a Precise Semantics for Object-Oriented Modeling Techniques
Ruth Breu, Radu Grosu, Franz Huber +2
cs.SE2014
Modeling Dynamic Component Interfaces
Franz Huber, Andreas Rausch, Bernhard Rumpe