随着大量的软件演化过程模型被软件演化过程元模型建模产生, 如何验证过程模型的正确性,
是摆在人们面前的一个重要任务. 针对软件演化过程元模型, 引入进程代数ACP (algebra of …

为了解决当前软件过程重用方法中存在的问题, 特别是由于缺乏对软件过程组件及其操作法则的
精确定义所带来的重用中的低效率问题, 介绍了一种形式化的组件化软件过程建模方法 …

针对目前普遍存在的重结果轻过程, 以罚为主, 合作意识亟待加强的供应商绩效管理现状,
提出了基于过程改进的汽车零部件供应商绩效管理模型, 描述了供应商过程绩效实施计划 …