华庆一 葛玮 段振华 江富春 龚晓庆 刘亚雄 杨斌 张远军 郭建 刘建元 韩俊刚 董云卫 周明全 李向宁 侯红 杜慧敏 宋悦

挣值分析 Verilog语言 计算树逻辑 成本估算 分层结构设计 多文种处理 测量构造 翻译程序 Petri网 中文信息处理 非形式化开发方法 反应系统 系统论 形式化开发方法 分层结构图 分布式工作流管理系统 工作流 面向对象模型 规约 基于Web 东方数学思想 开放网 Java 有穷自动机 持久消息 层次化结构 数据流图 企业Java Bean 语言 形式化方法

陕西西安 西北大学软件工程研究所 西安电子科技大学机电工程学院 西北大学信息科学与技术学院 西北大学计算机科学系 西安太白路1号 西安协同数码股份有限公司