ruaz/AlloyUML

Trabalho desenvolvido no âmbito da tese de mestrado.