26 citations · 47 across the 6 of their papers we have counts for
6 papers · 1 filter
Software and System Modeling Based on a Unified Formal Semantics
Manfred Broy, Franz Huber, Barbara Paech +2
Modeling and documentation are two essential ingredients for the engineering discipline of software development. During the last twenty years a wide variety of description and mode…
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…
Modular Description of a Comprehensive Semantics Model for the UML (Version 2.0)
Manfred Broy, Maria Victoria Cengarle, Hans Grönninger +1
In this document, we introduce a system model as a semantic domain for the Unified Modeling Language (UML) [OMG07a, OMG07b]. The system model is supposed to form a possible core an…
UML 2 Semantics Symposium: Formal Semantics for UML
Manfred Broy, Michelle L. Crane, Juergen Dingel +3
The purpose of this symposium, held in conjunction with MoDELS 2006, was to present the current state of research of the UML 2 Semantics Project. Equally important to receiving fee…
Towards a System Model for UML. The Structural Data Model
Manfred Broy, Maria Victoria Cengarle, Bernhard Rumpe
In this document we introduce a system model as the basis for a semantic model for UML 2.0. The system model is supposed to form the core and foundation of the UML semantics defini…
Orchestration of Global Software Engineering Projects
Christian Bartelt, Manfred Broy, Christoph Herrmann +5
Global software engineering has become a fact in many companies due to real necessity in practice. In contrast to co-located projects global projects face a number of additional so…