![](/img/cover-not-exists.png)
Transforming OntoUML into Alloy: towards conceptual model validation using a lightweight formal method
Bernardo F. B. Braga, João Paulo Andrade Almeida, Giancarlo Guizzardi, Alessander B. BenevidesVolume:
6
Language:
english
Pages:
9
DOI:
10.1007/s11334-009-0120-5
Date:
March, 2010
File:
PDF, 524 KB
english, 2010