Skip to main content
Top

2012 | OriginalPaper | Chapter

MoDeVVa 2011 Workshop Summary

Authors : Levi Lúcio, Stephan Weißleder, Frédéric Fondement, Harald Cichos

Published in: Models in Software Engineering

Publisher: Springer Berlin Heidelberg

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

All workshops of the MoDeVVa series are focused on Model-Driven Engineering, Verification, and Validation.

Models are purposeful abstractions. They are important elements in established life cycle management approaches, especially in model-driven approaches. Most importantly, they are very useful for communication of important aspects of the software being developed - they are used to support the focus on these important aspects and to make complex systems simple to understand. Furthermore, models are descriptions at an arbitrary level of detail and can, thus, be used to make traceability from requirements to any other object in development easier. If the models are not just sketches, but also have a formal foundation, they can also used for automatic transformation or code generation. Typical applications are the automatic generation of large parts of system source code, which results in a decrease of system engineering costs. One of the most important representatives for the application of models is the Model-Driven Engineering (MDE) approach. MDE is a development methodology that is based on models, meta models, and model transformations. There are many tools to support models, (domain-specific) modeling languages, model transformations, and code generation. The usage of models, model transformations, and code generation is becoming more and more important for industrial applications. The fact that development of MDE-related techniques still moves forward shows that MDE is quickly changing and that new approaches and corresponding issues arise frequently. The focus of the MoDeVVa series is on verification and validation (V&V) techniques in the context of MDE. V&V are currently very relevant in many safety-critical domains, with some of those domains being heavyweight representatives such automotive or avionics.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Metadata
Title
MoDeVVa 2011 Workshop Summary
Authors
Levi Lúcio
Stephan Weißleder
Frédéric Fondement
Harald Cichos
Copyright Year
2012
Publisher
Springer Berlin Heidelberg
DOI
https://doi.org/10.1007/978-3-642-29645-1_19

Premium Partner