Abstract
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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Baudry, B., Gaston, C., Ghosh, S. (2006). Report on the 2nd Workshop on Model Development and Validation – MoDeVa. In: Bruel, JM. (eds) Satellite Events at the MoDELS 2005 Conference. MODELS 2005. Lecture Notes in Computer Science, vol 3844. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11663430_4
Download citation
DOI: https://doi.org/10.1007/11663430_4
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-31780-7
Online ISBN: 978-3-540-31781-4
eBook Packages: Computer ScienceComputer Science (R0)