Formalization of UML Statechart Diagrams in the p-Calculus.
Vitus S. W. LamJulian A. PadgetPublished in: Australian Software Engineering Conference (2001)
Keyphrases
- class diagrams
- uml diagrams
- sequence diagrams
- unified modeling language
- uml class diagrams
- class diagram
- test cases
- software design
- object oriented
- reverse engineering
- uml models
- software engineering
- software development
- formal model
- software testing
- software engineers
- object oriented systems
- knowledge representation
- activity diagrams
- object oriented modeling
- constraint language
- database design
- petri net
- regression testing
- requirements analysis
- conceptual models
- design patterns
- software systems
- intermediate representation
- modeling language
- state machine
- formal language
- formal methods
- computer algebra
- metamodel