Semantics-Aware Versioning Challenge: Merging Sequence Diagrams along with State Machine Diagrams.
Petra BroschMartina SeidlMagdalena WidlPublished in: Softwaretechnik-Trends (2013)
Keyphrases
- sequence diagrams
- state machines
- state machine
- petri net
- class diagrams
- uml models
- activity diagrams
- intermediate representation
- test cases
- regression testing
- model based testing
- class diagram
- formal semantics
- fault tolerant
- dependency graph
- uml class diagrams
- conceptual model
- finite state machines
- database
- software engineering
- data model
- data structure
- database systems
- knowledge base