Applying Double Process Models for Verification in CMMI.

Luo Wenjie Liu Peng Weiming Zhang Bosheng Zhou

Published in: CSSE (2) (2008)

Keyphrases

process model
software process
process mining
business process
business processes
event logs
control flow
petri net
design patterns
business process models
reference models
artificial intelligence
model checking