Comparison of the Modeling Languages Alloy and UML.

Published in: Software Engineering Research and Practice (2006)

Keyphrases

modeling language
metamodel
uml profile
unified modeling language
formal methods
development process
design rationale
business process modeling
cooperative
model driven architecture
artificial intelligence
software systems
database design
constraint language
real world
software development process