软件进程相关论文
在软件开发中,以进程为中心的环境已经成为新一代的软件开发环境,它的目标是对整个软件开发周期提供自动化的支持,实际的软件开发任务......
在计算数学关于函数结构理论的基础上,本文讨论了软件进程计算结构图形表示算法.本文面向问题‘需求’,以形式推导方法,详细分析了如何......
讨论了软件进程SP分解运算的理论基础及分解运算集合ρθ的数学表示和性质;说明了SP作为一个模块M对它分解运算的一般模型和谓词公......