A modular state exploration and compatibility checking of UML dynamic diagrams.

Published in: AICCSA (2008)

Keyphrases

dynamic environments
sequence diagrams
uml diagrams
class diagrams
artificial intelligence
state space
data sets
learning algorithm
software development
modeling language
uml models