✦ LIBER ✦
Transforming OntoUML into Alloy: towards conceptual model validation using a lightweight formal method
✍ Scribed by Bernardo F. B. Braga; João Paulo Andrade Almeida; Giancarlo Guizzardi; Alessander B. Benevides
- Publisher
- Springer
- Year
- 2010
- Tongue
- English
- Weight
- 524 KB
- Volume
- 6
- Category
- Article
- ISSN
- 1614-5046
No coin nor oath required. For personal study only.