Tool Support for Verifying UML Activity Diagrams.

Rik Eshuis Roel J. Wieringa

Published in: IEEE Trans. Software Eng. (2004)

Keyphrases

tool support
uml activity diagrams
software development
software tools
software engineering
software projects
business process models
design decisions
requirements engineering
unified modelling language
model checking
graphical representation
multi agent systems
test suite
databases
machine learning