Login / Signup
Comparison of the Modeling Languages Alloy and UML.
Yujing He
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