Sciweavers

Share
ISSE
2010

Transforming OntoUML into Alloy: towards conceptual model validation using a lightweight formal method

8 years 7 months ago
Transforming OntoUML into Alloy: towards conceptual model validation using a lightweight formal method
Bernardo F. B. Braga, João Paulo A. Almeida
Added 28 Jan 2011
Updated 28 Jan 2011
Type Journal
Year 2010
Where ISSE
Authors Bernardo F. B. Braga, João Paulo A. Almeida, Giancarlo Guizzardi, Alessander Botti Benevides
Comments (0)
books