卢王鼎 崔湘龙 魏末平 吴稚 王广荣 秦友淑 张新访 韩宗芬 冯利敏

菜单卡 可行性 目标系统的环境 工作流管理系统 多目标机 系统模型 混合罚函数法 异构分布式系统 最优化设计 Petri网 目标机描述文件 程序设计方式 功能关系 求精次序 C交叉编译 自动生成 交互方式 型线光顺 构件库 动态查错 版本管理 宿主DML语言 图文菜单规范 抽象机 宿主系统 预编译 自扩展方法 数据库管理系统 增广Lagrange乘子法 图文菜单自动生成系统

湖北武汉430074武汉第二船舶设计研究... 华中理工大学计算机学院 武汉第二船舶设计研究所计算中心 湖北武汉