Abstract
Model Driven Engineering (MDE) approaches extensively use models and automatic model transformations to handle complex software development. A plethora of software artifacts, tools, environments and modeling languages need to be developed to make MDE a reality. Consequently, there is a crucial need for effective V&V techniques in the context of MDE. Moreover, the novelty of MDE gives rise to questions concerning its impact on traditional V&V techniques, and how they can leverage this new paradigm.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Baudry, B., Faivre, A., Ghosh, S., Pretschner, A. (2008). 4th International Workshop on Model Driven Engineering, Verification, and Validation: Integrating Verification and Validation in MDE. In: Giese, H. (eds) Models in Software Engineering. MODELS 2007. Lecture Notes in Computer Science, vol 5002. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-69073-3_16
Download citation
DOI: https://doi.org/10.1007/978-3-540-69073-3_16
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-69069-6
Online ISBN: 978-3-540-69073-3
eBook Packages: Computer ScienceComputer Science (R0)