Analyzing critical process models through behavior model synthesis.

Christophe Damas Bernard Lambeau François Roucoux Axel van Lamsweerde

Published in: ICSE (2009)

Keyphrases

process model
dynamic behaviors
neural network
artificial intelligence
computational model
process mining
data mining
database systems
computational intelligence
model driven
software process
reference models
architectural model