机译：安全系统的关键安全设计：关键安全程序需要全面的方法，必须结合使用专门的语言和工具，严格控制的测试以及使用正式方法
机译：基于物理动画的刚性机械系统数值程序的自动合成
机译：建设专业计算机辅助软件工程（案例）工具开发专家系统
机译：工程系统的仿真和动画：无需专门的软件或编程
机译：用于生成软件工程环境（方法学，智能数据库，编程语言）的META系统
机译：科学示范文摘。演示文摘：教育和辅导系统：医疗回合！-具有语音动画和幽默的患者模拟程序
机译：专业计算机辅助软件工程建设（案例）工具，用于开发专家系统
