Presentation Slides

Below you can find the presentation slides of the MoDeVa 2006 workshop as held. Thank you to the authors for providing this information and allowing its publication.

Workshop Overview

Model Checking Dynamic and Hierarchical UML State Machines
Toni Jussila, Jori Dubrovin, Tommi Junttila, Timo Latvala, and Ivan Porres

Static Verification of UML Model Consistency
Andrea Baruzzo and Marco Comini

Using B to verify UML Transformations
Kevin Lano

Validation of Model Transformations - First Experiences using a White Box Approach
Jochen M. Küster and Mohamed Abd-El-Razik

Towards Verified Model Transformations
Holger Giese, Sabine Glesner, Johannes Leitner, Wilhelm Schäfer, and Robert Wagner

Extending the Unified Process with Model-Based Testing
Fabrice Bouquet, Stéphane Debricon, Bruno Legeard, and Jean-Daniel Nicolet

Towards Model-Driven Unit Testing
Gregor Engels, Baris Güldali, and Marc Lohmann

Automated Object's Statechart Generation and Testing from Class Method Contracts
Atul Gupta