Bidirectional model transformation plays an important role in maintaining consistency between two models, and has many potential applications in software development, including mo...
Modelling architectural information is particularly important because of the acknowledged crucial role of software architecture in raising the level of abstraction during developme...
: Model transformations play a significant role in model based software development, and the correctness of the transformation is crucial to the success of the development effort. ...
We present a sound and complete model of lambda-calculus reductions based on structures inspired by modal logic (closely related to Kripke structures). Accordingly we can construct...
Feature-oriented traceability is essential for efficient Software Product Line (SPL) development, including product derivation and SPL evolution. Widely-used feature based method ...