李中华 刘海岩 朱海滨 邓良松 许月宾 倪小东 肖育东 范植华 邢国光

程序设计科学 结构设计 不变性 程序结构 封闭折线 软件开发 模块化 《计算机工程与应用》 结构测试方法 不变关系 计算机体系结构 操作系统 面向对象程序设计 结构分析程序 递归定义 迭代程序 模块化程序设计 设备管理 算法 标准化 x-等价 实时操作系统 程序设计方法学 重复执行 数据结构 编译程序 CSP 设计技术 自顶向下 扩展结构程序设计