Testing remains a major challenge for model transformation development. Test models that are used as test data for model transformations, are constrained by various sources of kno...
Requirements elicitation involves the construction of large sets of conceptual models. An important step in the analysis of these models is checking their consistency. Existing re...
This paper introduces a framework for classifying and comparing three domains related to the process technology. More particularly, it gives process definitions, characteristics, m...
The V-Model 97 is a widely used process model in Germany and Europe. It is the development standard for IT-Systems of the Federal Republic of Germany and the basis of Austria'...
We propose a rule-based approach for transforming B abstract machines into UML diagrams. We believe that important insight into the structure underlying a B model can be gained by...