Results
Below you can find the accepted papers of the MoDeVa 2006 workshop as submitted, the complete proceedings and a bibtex file. Please be aware that this file does not yet contain the ISBN/ISSN number, as this is still pending. The workshop summary may be added to this page later, as per Springer's self-archival policy.
Complete Downloads
Bibliography of the 3rd International Workshop MoDeV²a (Bibtex 13.4 KB)
Single Papers
|
Extending the Unified Process with Model-Based Testing |
| 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 |
|
Using B to verify UML Transformations |
|
Validation of Model Transformations - First Experiences using a White Box Approach |
| Towards Verified Model Transformations Holger Giese, Sabine Glesner, Johannes Leitner, Wilhelm Schäfer, and Robert Wagner |
|
Model Checking Dynamic and Hierarchical UML State Machines |
|
Static Verification of UML Model Consistency |
2.0 feed