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

---

Autoria(s): Kim, S. K.; Carrington, D. A.

Contribuinte(s)	B. Baudry C. Caston S. Ghosh
Data(s)	01/01/2005
Identificador	http://espace.library.uq.edu.au/view/UQ:103130
Publicador	Inria, France
Palavras-Chave	#EX #280302 Software Engineering #700100 Computer Software and Services
Tipo	Conference Paper