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 name Model Validation (MoDeVa) Workshop
Conference location Montego Bay, Jamaic
Conference dates 3 October 2005
Proceedings title 2nd MoDeVa Workshop - Model Design and validation
Place of Publication http://www.irisa.fr/manifestations/2005/MODEVA2005/
Publisher Inria, France
Publication Year 2005
Sub-type Fully published paper
Editor B. Baudry
C. Caston
S. Ghosh
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: 252 Abstract Views  -  Detailed Statistics
Created: Thu, 23 Aug 2007, 21:22:53 EST