流程程序分析实验的计算机化研究

本文介绍了计算机化流程程序分析实验的目的和内容,以及对其进行计算机化的方案,介绍了基于所介绍方案的实验软件实现的一些情况。