papers
Publications (6)
cs.SE2014
Towards a Formalization of the Unified Modeling Language
Ruth Breu, Ursula Hinkel, Christoph Hofmann +4
cs.SE2019
Adapting Quality Assurance to Adaptive Systems: The Scenario Coevolution Paradigm
Thomas Gabor, Marie Kiermeier, Andreas Sedlmeier +5
cs.SE2014
Enhancing the SysLab System Model with State
Radu Grosu, Cornel Klein, Bernhard Rumpe
cs.SE2014
Automata Describing Object Behavior
Bernhard Rumpe, Cornel Klein
cs.SE2014
A stream-based mathematical model for distributed information processing systems - SysLab system model
Cornel Klein, Bernhard Rumpe, Manfred Broy
cs.SE2014
Feature Specification and Refinement with State Transition Diagrams
Cornel Klein, Christian Prehofer, Bernhard Rumpe