李彤 柳青 孔兵

分解规则 第四代语言 SDDM模型 Petri网 规则库 网络并行环境 SDDML语言 预编译程序 相关性分析 进程 分解树 活动 断言 软件过程 并行性延拓 软件并行工程 应用软件开发工具 并行性挖掘 形式化开发 软件过程模型 分解策略 编译器 交互式 需求规约 形式定义 程序框架 功能分解 需求规约语言 形式化软件设计 交互式环境

云南大学经济学院 云南大学会计系 云南大学 云南大学计算机科学与工程系 云南大学计算机科学系 云南大学经济学院会计系