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