Azevedo,, Rui Filipe Pereira de Systematic method for UML model to model transformation [Documento eletrónico] : development and verification in alloy / Rui Filipe Pereira de Azevedo ; orient. Fernando Mário Junqueira Martins

Systematic method for UML model to model transformation [Documento eletrónico] : development and verification in alloy / Rui Filipe Pereira de Azevedo ; orient. Fernando Mário Junqueira Martins . - [Braga : s.n.], 2012 . -

681.3.062