Stochastic Process Algebra Based Software Process Simulation Modeling.

Jian Zhai Qiusong Yang Feng Su Junchao Xiao Qing Wang Mingshu Li

Published in: ICSP (2009)

Keyphrases

software process
process algebra
process improvement
concurrent systems
software development
model checking
process model
requirements engineering
asynchronous circuits
software process improvement
knowledge base
expert systems
motion estimation
product quality