During iterative, UML-based software development, various UML diagrams, modeling the
same system at different levels of abstraction are developed. These models must remain …

Large and complicated UML models are not useful, because they are difficult to understand.
This problem can be solved by using several diagrams of the same system at different levels …

Much research work has been done on formalizing UML diagrams, but less has focused on
using this formalization to analyze the dynamic behaviours between formalized components …

When models of a system change, analyses based on them have to be reevaluated in order
for the results to stay meaningful. In many cases, the time to get updated analysis results is …

Modelling component behaviour is widely recognised as a complex task during the
specification and design phases of reactive systems. Our proposal for treating this problem …

SysML is a UML-based graphical notation for systems engineering that is becoming a de
facto standard. Whilst it reuses a number of UML diagrams, it introduces new diagrams, and …

In this dissertation we investigate how Business/IT alignment in enterprise models can be
enhanced by using a software engineering stepwise refinement paradigm. To have an IT …

Les exigences qui s' appliquent aux composants logiciels et aux logiciels embarqués
justifient l'utilisation des meilleures techniques disponibles pour garantir la qualité des …

UML-B is a UML-like graphical front end for Event-B that provides support for object-oriented
modelling concepts. In particular, UML-B supports class diagrams and state machines …

Traditional metamodeling in two levels gets to its limits when model elements of a domain
should be described as instances of other model elements. For example in architecture …