Skip to Main content Skip to Navigation
Conference papers

MoDeVVa 2012 workshop summary

Abstract : The MoDeVVa workshop series is dedicated to the interaction between advancements in the field of Model-Driven Engineering (MDE) and in the field of Verification and Validation (V&V). During the eight previous editions, it became evident that this interaction works in both directions. On the one hand, the use of models facilitates the deployment of formal V&V tools and techniques by providing high-level abstractions of systems. Indicative of the research community's interest in MDE as a method for facilitating and popularizing formal methods for verification was the focus on MDE of the 12th International School on Formal Methods in Bertinoro, Italy in June 2012 [2]. On the other hand, the models and transformations in the context of MDE are becoming ever more complex, accentuating the need for formal V&V techniques to help manage this complexity. Growing academic maturity in this area is demonstrated by the establishment of new topic-specific workshops, such as VOLT'12, which is specificically oriented towards the challenges of the verification of model transformations, and was held in April 2012 in Montréal Canada [1].
Document type :
Conference papers
Complete list of metadata
Contributor : Frédéric Boulanger <>
Submitted on : Thursday, January 31, 2013 - 6:50:48 PM
Last modification on : Tuesday, March 30, 2021 - 12:16:04 PM




Frédéric Boulanger, Michalis Famelis, Frédéric Fondement, Lucio Levi, Stephan Weißleder. MoDeVVa 2012 workshop summary. Model-Driven Engineering, Verification and Validation (MoDeVVa '12), Sep 2012, Innsbruck, Austria. pp.3-4, ⟨10.1145/2427376.2427377⟩. ⟨hal-00783297⟩



Record views