软件进程分解的理论分析
Theoretic analysis for decomposition on software process作者机构:武汉化工学院环境与城市建设学院湖北武汉430074
出 版 物:《武汉化工学院学报》 (Journal of Wuhan Institute of Chemical Technology)
年 卷 期:2005年第27卷第1期
页 面:91-93页
学科分类:08[工学] 0835[工学-软件工程] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术(可授工学、理学学位)]
摘 要:讨论了软件进程SP分解运算的理论基础及分解运算集合ρθ的数学表示和性质;说明了SP作为一个模块M对它分解运算的一般模型和谓词公式;分析了等价算子集ASeteq(M)及其相关结论.