软件进程分解的理论分析

摘要：

讨论了软件进程SP分解运算的理论基础及分解运算集合ρθ的数学表示和性质;说明了SP作为一个模块M对它分解运算的一般模型和谓词公式;分析了等价算子集ASeteq(M)及其相关结论.

关键词：软件进程、模块、算子、分解运算、等价算子

所属期刊栏目：27

分类号：TP311(计算技术、计算机技术)

在线出版日期：2005-03-31（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：91-93