机译：一种以数据库为中心和基于Web的超文本应用设计方法
机译：自动生成基于MSI的对象的工具的设计和实现
机译：核心燃料管理方法的概述：燃料重载核反应堆核心配置的自动设计工具，（RE）布置新的和部分废燃料
机译：通过任务图从任务方法图和方法通量图自动生成分布式设计工具的行为定义
机译：成功的系统级自动化和设计方法的要素。支持多种计算模型，异构行为层次，模型驱动的验证以及面向服务的工具集成环境。
机译：空域自动配置的方法框架-蒙特卡洛方法消除区域增长法产生的不规则扇形
机译：成熟：一种模型驱动的基础工具，可自动生成支持CMMI过程域特定化的语言
机译：用于自动生成流程图和预处理pascal的系统设计工具
