MoDeVVa 2012 workshop summary - CentraleSupélec Access content directly
Conference Papers Year : 2012

MoDeVVa 2012 workshop summary


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].
No file

Dates and versions

hal-00783297 , version 1 (31-01-2013)



Frédéric Boulanger, Michalis Famelis, Frédéric Fondement, Lucio Levi, Stephan Weissleder. 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⟩
47 View
0 Download



Gmail Mastodon Facebook X LinkedIn More