Login / Signup
Applying Critical Pair Analysis in Graph Transformation Systems to Detect Syntactic Aspect Interaction in UML State Diagrams.
Zaid Altahat
Tzilla Elrad
Luay Tahat
Published in:
SEKE (2008)
Keyphrases
</>
graph transformation
data analysis
computer systems
statistical analysis
user interaction
state space
distributed systems
intelligent systems
human computer interaction
software systems
complex systems
formal methods