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 metadatas

https://hal-supelec.archives-ouvertes.fr/hal-00783297
Contributor : Frédéric Boulanger <>
Submitted on : Thursday, January 31, 2013 - 6:50:48 PM
Last modification on : Tuesday, October 1, 2019 - 11:54:05 AM

Identifiers

Collections

Citation

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⟩

Share

Metrics

Record views

176