(integrating V&V in MDE)
Associated with MoDELS’07, Nashville, TN, USA



Important dates


Previous editions

Preliminary program

This is a preliminary order for the presentation of papers at the MoDeVVa'07 workshop. We plan to have 30 minutes for each presentation, including questions.

The workshop will take place in room Acorn A

09:00 - 09:05 Welcome

09:05 - 10:00 Keynote

Modeling and Formally Analyzing Dynamically Adaptive Software
Betty H. C. Cheng

10:00 - 10:30 Model-based Testing

Model-Based Testing of the ERTMS System with SysML and MARTE
Souha Kamoun and Pierre Boulet

10:30 - 11:00 Coffee break

11:00 - 12:30 Model-based Testing

Novel Approach to Model–Based Acceptance Testing
Ruth Breu, Joanna Chimiak–Opoka and Chris Lenz
Automatic Test Generation from Coupled UML Models using Input Partitions
Stephan Weißleder and Bernd-Holger Schlingloff
Automatic Generation of Test-Cases Using Model Checking for SL/SF Models
Ambar A. Gadkari, Swarup Mohalik, K.C. Shashidhar, Anand Yeolekar, J. Suresh, and S. Ramesh

12:30 - 02:00 Lunch break

02:00 - 03:30 Validation in MDE

Analysis of Model Transformations via Alloy
Kyriakos Anastasakis, Behzad Bordbarand and Jochen M. Küster
Using MDE for Generic Comparison of Views
Bas Graaf and Arie van Deursen
Data Verification using Model-Driven Architecture
M. Price, S. Demurjian, H. Sen, M. Saleem, and S. Berhe

03:30 - 04:00 Coffee break

04:00 - 04:30 Validation in MDE

Putting Performance Engineering into Model-Driven Engineering: Model-Driven Performance Engineering
Mathias Fritzsche and Jendrik Johannes

04:30 - 05:00 Summary and wrap-up discussions

The complete proceedings are available here: Proceedings for MoDeVVa'07