- Full text PDF available (4)
- This year (0)
- Last 5 years (0)
- Last 10 years (3)
Journals and Conferences
This paper presents how a model-based development process can be enhanced by the combination of using Live Sequence Charts (LSC) as the formal language to describe interactions together with automatic formal verification techniques that decide whether communication sequences are exhibitable or adhered to by the system. We exemplify our approach on the… (More)
The status of our current work on an UML profile to express software engineering process models is presented. We will discuss our requirements on such a profile and introduce identified syntactical and semantical implications. Concluding a first application scenario is presented.
Die Gewährleistung der korrekten Funktionsweise von Hard- und Software ist ein entscheidender Faktor bei der heutigen Systementwicklung. Dies trifft ganz besonders auf das Gebiet der sog. „sicherheitskritischen“ Systeme zu, bei dem ein Systemversagen Menschenleben gefährden kann.
— An approach for tight coupling of process models and software development tools — with the metaphor of component-based software development environments — supporting " eXecutable Process Models " (XPM) is presented. In this paper, we focus on the direction from the components of a software development environment towards the process models in order to… (More)
Traditionally formal papers bridge interpretation gaps of informal OMG specifications. The papers are often not holistic but rather concentrate on certain aspects of the original specification. This increases often the gap between research and practice because it is difficult to understand and combine different semantic methodologies. This paper formalizes… (More)