The variety of design artefacts (models) produced in a model-driven design process results in an intricate rela-tionship between requirements and the various models. This paper proposes a methodological framework that simplifies management of this relationship. This frame-work is a basis for tracing requirements, assessing the quality of model transformation specifications, metamod-els, models and realizations. We propose a notion of con-formance between application models which reduces the effort needed for assessment activities. We discuss how this notion of conformance can be integrated with model transformations
International audienceRequirements engineering (RE) encompasses a set of activities for eliciting, m...
The Model-to-Model (M2M) transformation stage in a Model-Driven Engineering (MDE) tool chain is used...
Requirements engineering is a key activity on any software development project. In Software Product ...
The variety of design artefacts (models) produced in a model-driven design process results in an int...
The variety of design artefacts (models) produced in a model-driven design process results in an int...
The variety of design artifacts (models) produced in a model-driven design process results in an int...
The variety of design artifacts (models) produced in a model-driven design process results in an int...
Model-driven development, using languages such as UML and BON, often makes use of multiple diagrams ...
Model-driven development – using languages such as UML and BON – often makes use of multiple diagram...
Abstract. Certifying critical systems requires very precise specifications and ability to ver-ify ea...
Requirements elicitation and modelization are recognized as the most important phases of the develop...
We investigate the application of technologies for modeldriven engineering to check the conformance ...
In order to handle complexity, model driven engineering aims at building systems by developing sever...
International audienceRequirements engineering (RE) encompasses a set of activities for eliciting, m...
Requirements are a key aspect of software development. Requirements are also related with other soft...
International audienceRequirements engineering (RE) encompasses a set of activities for eliciting, m...
The Model-to-Model (M2M) transformation stage in a Model-Driven Engineering (MDE) tool chain is used...
Requirements engineering is a key activity on any software development project. In Software Product ...
The variety of design artefacts (models) produced in a model-driven design process results in an int...
The variety of design artefacts (models) produced in a model-driven design process results in an int...
The variety of design artifacts (models) produced in a model-driven design process results in an int...
The variety of design artifacts (models) produced in a model-driven design process results in an int...
Model-driven development, using languages such as UML and BON, often makes use of multiple diagrams ...
Model-driven development – using languages such as UML and BON – often makes use of multiple diagram...
Abstract. Certifying critical systems requires very precise specifications and ability to ver-ify ea...
Requirements elicitation and modelization are recognized as the most important phases of the develop...
We investigate the application of technologies for modeldriven engineering to check the conformance ...
In order to handle complexity, model driven engineering aims at building systems by developing sever...
International audienceRequirements engineering (RE) encompasses a set of activities for eliciting, m...
Requirements are a key aspect of software development. Requirements are also related with other soft...
International audienceRequirements engineering (RE) encompasses a set of activities for eliciting, m...
The Model-to-Model (M2M) transformation stage in a Model-Driven Engineering (MDE) tool chain is used...
Requirements engineering is a key activity on any software development project. In Software Product ...