进程迁移图相关硕士博士期刊学术论文

软件规范描述方法主要是软件工程化的UML方法与形式化方法二类方法。论文主要给出了基于CCS的软件规范描述，首先根据系统需求画出进......