MoDeVVa 2012 workshop summary
| Autor: | Frédéric Fondement, Stephan Weißleder, Levi Lucio, Michalis Famelis, Frédéric Boulanger |
|---|---|
| Přispěvatelé: | Supélec Sciences des Systèmes (E3S), Ecole Supérieure d'Electricité - SUPELEC (FRANCE), Department of Computer Science [University of Toronto] (DCS), University of Toronto, Université de Haute-Alsace (UHA) Mulhouse - Colmar (Université de Haute-Alsace (UHA)), School of Computer Science [Montréal], McGill University = Université McGill [Montréal, Canada], Fraunhofer Institute for Open Communication Systems (Fraunhofer FOKUS), Fraunhofer (Fraunhofer-Gesellschaft), ACM New York, USA |
| Jazyk: | angličtina |
| Rok vydání: | 2012 |
| Předmět: |
Operations research
business.industry Computer science Model Transformation Model transformation Verification Context (language use) [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE] Formal methods Field (computer science) International school Model Driven Engineering Software deployment Validation Model-driven architecture Software engineering business computer Verification and validation computer.programming_language |
| Zdroj: | Model-Driven Engineering, Verification and Validation (MoDeVVa '12) Model-Driven Engineering, Verification and Validation (MoDeVVa '12), Sep 2012, Innsbruck, Austria. pp.3-4, ⟨10.1145/2427376.2427377⟩ |
| DOI: | 10.1145/2427376.2427377⟩ |
| Popis: | International audience; 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]. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|