Abstract. We propose a general framework for the model-driven analysis of the meta-program development pro-cesses. Our approach considers: 1) a hierarchy of related meta-models and models that are represented at different levels of abstractions for problem and solution domains; and 2) vertical transformations of the introduced meta-models and models for lowering the abstraction level of their representation until the executable specification. The framework provides a theoretical background to understand the meta-program development process and creates well-grounded pre-conditions for the semi-automatic design of meta-programs. We also formulate the requirements for tools to support such automation
Recent advances in Software Engineering have reduced the cost of coding programs at the expense of i...
MDA (Model Driven Architecture) attempts to solve some common problems of current software architect...
Background: In model-driven development, model transformation transforms one model to another betwee...
AbstractFormal refinement shows how the specification of a program can be transformed by steps into ...
AbstractFormal refinement shows how the specification of a program can be transformed by steps into ...
Model-Driven Development (MDD) is a model-centric software engineering approach which aims at improv...
Model-Driven Development (MDD) is a model-centric software engineering approach which aims at improv...
In model-driven software development, the first-class data are models, which are all structured by a...
Model-driven technologies influence today's software engineering more and more. During the last deca...
Model-driven technologies influence today's software engineering more and more. During the last deca...
Model-driven technologies influence today's software engineering more and more. During the last deca...
Software systems need to evolve, and systems built using model-driven approaches are no exception. W...
Abstract: Despite a broad agreement on the benefits of model driven approaches to software engineeri...
In this paper, we introduce a knowledge-based meta-model which serves as a unified resource model fo...
Software systems need to evolve, and systems built using model-driven approaches are no exception. W...
Recent advances in Software Engineering have reduced the cost of coding programs at the expense of i...
MDA (Model Driven Architecture) attempts to solve some common problems of current software architect...
Background: In model-driven development, model transformation transforms one model to another betwee...
AbstractFormal refinement shows how the specification of a program can be transformed by steps into ...
AbstractFormal refinement shows how the specification of a program can be transformed by steps into ...
Model-Driven Development (MDD) is a model-centric software engineering approach which aims at improv...
Model-Driven Development (MDD) is a model-centric software engineering approach which aims at improv...
In model-driven software development, the first-class data are models, which are all structured by a...
Model-driven technologies influence today's software engineering more and more. During the last deca...
Model-driven technologies influence today's software engineering more and more. During the last deca...
Model-driven technologies influence today's software engineering more and more. During the last deca...
Software systems need to evolve, and systems built using model-driven approaches are no exception. W...
Abstract: Despite a broad agreement on the benefits of model driven approaches to software engineeri...
In this paper, we introduce a knowledge-based meta-model which serves as a unified resource model fo...
Software systems need to evolve, and systems built using model-driven approaches are no exception. W...
Recent advances in Software Engineering have reduced the cost of coding programs at the expense of i...
MDA (Model Driven Architecture) attempts to solve some common problems of current software architect...
Background: In model-driven development, model transformation transforms one model to another betwee...