papers
Publications (4)
cs.SE2014
State Based Service Description
Barbara Paech, Bernhard Rumpe
cs.SE2014
Software and System Modeling Based on a Unified Formal Semantics
Manfred Broy, Franz Huber, Barbara Paech +2
cs.SE2014
Towards Development of Correct Software using Views
Barbara Paech, Bernhard Rumpe
cs.SE2014
Towards a Formalization of the Unified Modeling Language
Ruth Breu, Ursula Hinkel, Christoph Hofmann +4