From UML to Alloy and back again.
Seyyed Madasar Ali ShahKyriakos AnastasakisBehzad BordbarPublished in: MoDeVVa@MoDELS (2009)
Keyphrases
- database design
- modeling language
- software systems
- metamodel
- unified modeling language
- uml models
- conceptual modeling
- sequence diagrams
- software development
- class diagrams
- software engineering
- class diagram
- object oriented modeling
- uml diagrams
- model driven engineering
- object oriented
- software architecture
- formal methods
- uml activity diagrams
- uml class diagrams
- state machine
- mechanical properties
- stainless steel
- neural network
- regression testing
- room temperature
- surface roughness
- goal oriented
- development process
- test cases
- database applications
- programming language
- relational databases
- artificial intelligence