In order to ensure the quality of their software development process, companies incorporate best practices from recognized repositories or from their own experiences. These best pr...
Over the past years, the reengineering of legacy software systems to object oriented platforms has received significant attention. In this paper, we present a generic re-engineeri...
Integrity constraints (ICs) play a key role in the definition of conceptual schemas. In the UML, ICs are usually specified as invariants written in the OCL. However, due to the hi...
Graph transformations are one of the best known approaches for defining transformations in model-based software development. They are defined over the abstract syntax of source and...
In model-based software development, a complete design and analysis process involves designing the system using the design language, converting it into the analysis language, and ...