A metamodeling level transformation from UML sequence diagrams to Coq.
Chao LiLiang DouZongyuan YangPublished in: ICTCS (2014)
Keyphrases
- sequence diagrams
- class diagrams
- petri net
- uml models
- activity diagrams
- model based testing
- metamodel
- intermediate representation
- formal methods
- regression testing
- class diagram
- object oriented
- test cases
- uml class diagrams
- unified modelling language
- database
- software maintenance
- fine grained
- software engineering
- data model
- database systems