AnimUML as a UML Modeling and Verification Teaching Tool.
Frédéric JouaultValentin SebilleValentin BesnardThéo Le CalvarCiprian TeodorovMatthias BrunJérôme DelatourPublished in: MoDELS (Companion) (2021)
Keyphrases
- unified modeling language
- sequence diagrams
- modeling tool
- modeling language
- formal methods
- software development
- uml profile
- learning process
- metamodel
- cooperative learning
- e learning
- model checking
- learning systems
- object oriented
- database systems
- distance learning
- database design
- online learning
- software engineering
- class diagram
- case study
- software tools
- petri net
- web based learning
- conceptual models
- uml diagrams
- object oriented modeling