On Combining Multi-formalism Knowledge to Select Models for Model Transformation Testing
ICST '08 Proceedings of the 2008 International Conference on Software Testing, Verification, and Validation
Using ASM to Achieve Executability within a Family of DSL
ABZ '08 Proceedings of the 1st international conference on Abstract State Machines, B and Z
Towards Interoperability in Component Based Development with a Family of DSLs
ECSA '08 Proceedings of the 2nd European conference on Software Architecture
Implementation of the Conformance Relation for Incremental Development of Behavioural Models
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Using context descriptions and property definition patterns for software formal verification
ICSTW '08 Proceedings of the 2008 IEEE International Conference on Software Testing Verification and Validation Workshop
Model transformation testing: oracle issue
ICSTW '08 Proceedings of the 2008 IEEE International Conference on Software Testing Verification and Validation Workshop
An OCL extension for checking and transforming UML models
SEPADS'09 Proceedings of the 8th WSEAS International Conference on Software engineering, parallel and distributed systems
Automatic Model Generation Strategies for Model Transformation Testing
ICMT '09 Proceedings of the 2nd International Conference on Theory and Practice of Model Transformations
Evaluating Context Descriptions and Property Definition Patterns for Software Formal Validation
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
AAMAS'02 Proceedings of the 2002 international conference on Trust, reputation, and security: theories and practice
A unified categorical approach for attributed graph rewriting
CSR'08 Proceedings of the 3rd international conference on Computer science: theory and applications
TASE '10 Proceedings of the 2010 4th IEEE International Symposium on Theoretical Aspects of Software Engineering
Using Aspect-Oriented Programming to Trace Imperative Transformations
EDOC '10 Proceedings of the 2010 14th IEEE International Enterprise Distributed Object Computing Conference
ICECCS '10 Proceedings of the 2010 15th IEEE International Conference on Engineering of Complex Computer Systems
Reusable MDA components: a testing-for-trust approach
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Mutation analysis testing for model transformations
ECMDA-FA'06 Proceedings of the Second European conference on Model Driven Architecture: foundations and Applications
Hi-index | 0.00 |
A large number of modeling activities can be automatic or computer assisted. This automation ensures a more rapid and robust software development. However, engineers must ensure that the models have the properties required for the application. In order to tend towards this requirement, the Domino project (DOMaINs and methodological prOcess) proposes to use the so-called trustworthy Model-Driven Engineering (MDE) components and aims to provide a methodology for the validation and qualification of such components.