115 citations · 160 across the 5 of their papers we have counts for
5 papers
Enhancing the SysLab System Model with State
Radu Grosu, Cornel Klein, Bernhard Rumpe
In this report, the SYSLAB model is complemented in different ways: State-box models are provided through timed port automata, for which an operational and a corresponding denotati…
Automata Describing Object Behavior
Bernhard Rumpe, Cornel Klein
Relating formal re nement techniques with commercial object oriented software development methods is important to achieve enhancement of the power and exibility of these software d…
A stream-based mathematical model for distributed information processing systems - SysLab system model
Cornel Klein, Bernhard Rumpe, Manfred Broy
In the SysLab project we develop a software engineering method based on a mathematical foundation. The SysLab system model serves as an abstract mathematical model for information…
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…
Feature Specification and Refinement with State Transition Diagrams
Cornel Klein, Christian Prehofer, Bernhard Rumpe
In this paper, we introduce a graphic specification technique, called state transition diagrams (STD), and show the application to the feature interaction problem. Using a stream-b…