Statecharts constitute an executable language for modelling event-based reactive systems.
The essential complexity of statechart models solicits the need for advanced model testing …

This contribution concentrates on the development process for descriptive and prescriptive
UML and OCL models. We have decided to concentrate on three not necessarily disjoint …

In the last few years, aerospace systems have become more and more complex. In order to
satisfy the stakeholders' needs, the number of functions implemented in a single system is …

Validation and verification using UML/OCL model in the early design stage of software
development has gained a lot of importance in the last decade. But many of them only …

This paper explores the use of table-based representation for artifacts occurring in model-
driven development as opposed to graph-based representation. As an example for table …

Zusammenfassung Diese Masterarbeit betrachtet die Auswahl-und Filteroptionen der
Software UML-based Specification Environment (USE), die zur Veränderung von …