MDA's transformation and mappings and their implementation in three tools

Adaptive objects: application technology to the object-oriented

Formal verification of systems modeled as finite state machines

Application of model weaving in model transformation in MDA

Transforming an enterprise model into a use case model using model-driven engineering...

An object-oriented development process with support to inconsistencies formal v...

Availability analysis of Web software systems