Welcome!

to the 3rd Workshop on Model design and Validation

The MoDeVa series of workshops offers a forum for researchers and practitioners with varying backgrounds to discuss new ideas concerning links between model-based design and model-based validation. It aims to introduce models as a link between the theoretic foundations of Validation and Verification, and the practice of model-based testing. Also, it seeks to critically examine the pivotal parts of the Model-Driven Architecture paradigm: Models, Metamodels and Transformations.

Click here to read the MoDeVa 2006 Call for Papers. (pdf, 213kB)

News
12/09/2013 11:37 AM
MoDeVa 2006 Survey released!
We would like to invite all those who attended this year's workshop to participate in a short anonymous survey at:http://modeva.itee.uq.edu.au/?topic=survey .