C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Formal Analysis of UML 2.0 Activities Using Graph Transformation Systems.
Vahid Rafe
Adel Torkaman Rahmani
Reza Rafeh
Published in:
Int. J. Softw. Eng. Knowl. Eng. (2010)
Keyphrases
</>
formal analysis
formal methods
graph transformation
management system
computer systems
building blocks
uml models
artificial intelligence
complex systems
object oriented
distributed systems
software development
software systems