Correct Architecture Refinement
IEEE Transactions on Software Engineering - Special issue on software architecture
Toward Reference Models for Requirements Traceability
IEEE Transactions on Software Engineering
LOTOSphere: Software Development with Lotos
LOTOSphere: Software Development with Lotos
A Scenario-Driven Approach to Trace Dependency Analysis
IEEE Transactions on Software Engineering
The Application of Correctness Preserving Transformations to Software Maintenance
ICSM '00 Proceedings of the International Conference on Software Maintenance (ICSM'00)
Eclipse Modeling Framework
A Systematic Approach to Platform-Independent Design Based on the Service Concept
EDOC '03 Proceedings of the 7th International Conference on Enterprise Distributed Object Computing
The first international workshop on automation of software test
Proceedings of the 28th international conference on Software engineering
Analysis of crosscutting across software development phases based on traceability
Proceedings of the 2006 international workshop on Early aspects at ICSE
On the integration of design and test: a model-based approach for embedded systems
Proceedings of the 2006 international workshop on Automation of software test
Requirements Traceability and Transformation Conformance in Model-Driven Development
EDOC '06 Proceedings of the 10th IEEE International Enterprise Distributed Object Computing Conference
Metamodel-based Test Generation for Model Transformations: an Algorithm and a Tool
ISSRE '06 Proceedings of the 17th International Symposium on Software Reliability Engineering
On Architectural Support For Behaviour Refinement In Distributed Systems Design
Journal of Integrated Design & Process Science
Model-driven development of context-aware services
DAIS'06 Proceedings of the 6th IFIP WG 6.1 international conference on Distributed Applications and Interoperable Systems
Tracing requirements for adaptive systems using claims
Proceedings of the 6th International Workshop on Traceability in Emerging Forms of Software Engineering
Applying ontology-based blog to detect information system post-development change requests conflicts
Information Systems Frontiers
Transforming and tracing reused requirements models to home automation models
Information and Software Technology
Journal of Systems and Software
Hi-index | 0.00 |
The variety of design artifacts (models) produced in a model-driven design process results in an intricate relationship between requirements and the various models. This paper proposes a methodological framework that simplifies management of this relationship, which helps in assessing the quality of models, realizations and transformation specifications. Our framework is a basis for understanding requirements traceability in model-driven development, as well as for the design of tools that support requirements traceability in model-driven development processes. We propose a notion of conformance between application models which reduces the effort needed for assessment activities. We discuss how this notion of conformance can be integrated with model transformations.