115 citations · 166 across the 6 of their papers we have counts for
6 papers
Capturing Dependencies within Machine Learning via a Formal Process Model
Fabian Ritz, Thomy Phan, Andreas Sedlmeier +7
The development of Machine Learning (ML) models is more than just a special case of software development (SD): ML models acquire properties and fulfill requirements even without di…
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…