蔡经球 管惠维 王晓虎 王和珍 诸葛海 刘柏丽 孙永强 张克均 费翔林

程序变换 结构程序设计 园盘 抽象算法 Transputer 塔形 递归程序设计 进程 同步通信 信息系统 信息管理 OCCAM语言 窗口软件 逐步求精 递归程序 并行处理 面向对象程序设计 Jackson系统开发方法 程序变换 自动程序设计 软件工程

程序变换