From UML to Alloy and Back Again.
Seyyed Madasar Ali ShahKyriakos AnastasakisBehzad BordbarPublished in: MoDELS (Workshops) (2009)
Keyphrases
- modeling language
- unified modeling language
- database design
- metamodel
- software systems
- uml models
- conceptual modeling
- class diagrams
- sequence diagrams
- uml class diagrams
- object oriented
- formal methods
- object oriented modeling
- uml diagrams
- state machine
- software architecture
- software development
- mechanical properties
- class diagram
- databases
- conceptual models
- uml profile
- software engineering
- data model
- specification language
- room temperature
- learning environment
- case study
- model driven engineering
- uml activity diagrams
- testing process
- tool support
- requirements engineering
- e learning