高劲松 胡金柱 李彤 李虎群 杨青 彭斌 王黎霞 孔兵 郁湧 倪志凌 潘熙坤 郝林

交互式 椭圆曲线 断言 合同设计 进程 密码体制 网络并行环境 分层模型 高级Petri网 反馈 分解策略 功能 过程改进 功能分解 复用 UML扩展 工作流 模型调试 可视化建模工具 规则库 远程考试 需求规约语言 分布式工作流 工作任务 交互式环境 面向对象 冗余算法 形式化软件设计 软件演化 Petri网

云南大学计算机科学系 云南大学经济学院 云南大学信息学院 云南大学 云南大学软件学院 华中师范大学软件工程与数据库研究所 云南昆明 上海对外贸易学院