Equivalence Checking of Communicating UML Statechart Diagrams.
Vitus S. W. LamJulian A. PadgetPublished in: Int. J. Softw. Eng. Knowl. Eng. (2012)
Keyphrases
- class diagrams
- uml diagrams
- sequence diagrams
- unified modeling language
- uml class diagrams
- class diagram
- test cases
- software design
- object oriented
- activity diagrams
- design patterns
- software engineering
- reverse engineering
- software testing
- software systems
- constraint language
- uml models
- petri net
- metamodel
- object oriented systems
- neural network
- regression testing
- intermediate representation
- conceptual modeling
- software engineers
- modeling language
- database design
- software development
- databases
- datalog programs
- black box
- description logics
- multi agent systems
- database systems
- uml activity diagrams