Report on the 2nd Workshop on Model Development and Validation - MoDeVa.

Rigorous design and validation methods appear to be more and more necessary in an industrial context. Software systems are becoming increasingly large and complex, and run the risk of serious failures from unpredictable behaviors resulting from interactions between sub-systems. Without proper standardization of modeling notations and approaches, human beings find it difficult to understand the systems. [ABSTRACT FROM AUTHOR]