A formal V&V framework for UML models based on Model transformation techniques

Kim, S. K. and Carrington, D. A. (2005). A formal V&V framework for UML models based on Model transformation techniques. In: B. Baudry, C. Caston and S. Ghosh, 2nd MoDeVa Workshop - Model Design and validation. Model Validation (MoDeVa) Workshop, Montego Bay, Jamaic, (). 3 October 2005.


Author Kim, S. K.
Carrington, D. A.
Title of paper A formal V&V framework for UML models based on Model transformation techniques
Conference Paper Type Fully Published Paper
Conference name Model Validation (MoDeVa) Workshop
Conference location Montego Bay, Jamaic
Conference dates 3 October 2005
Proceedings title 2nd MoDeVa Workshop - Model Design and validation
Editor B. Baudry
C. Caston
S. Ghosh
Place published http://www.irisa.fr/manifestations/2005/MODEVA2005/
Publisher Inria, France
Publication date 2005
Total pages 7
Collection year 2005
Subjects EX
280302 Software Engineering
700100 Computer Software and Services
Q-Index Code EX

 
Versions
Version Filter Type
Citation counts: Google Scholar Search Google Scholar
Access Statistics: 232 Abstract Views  -  Detailed Statistics
Created: Thu, 23 Aug 2007, 21:22:53 EST