Task decomposition testing and metrics for concurrent programs.

Chi-Ming Chung Timothy K. Shih Ying-Hong Wang Wei-Chuan Lin Ying-Feng Kuo

Published in: ISSRE (1996)

Keyphrases

concurrent programs
process algebra
concurrent programming
asynchronous circuits
real time
web applications
concurrent processes
database
software engineering
knowledge acquisition
model checking