一种面向对象的形式化规范说明技术

机译：面向对象的分析建模的显式形式化/详细说明/过程：适用于领域用户，他们是应用程序领域（例如模拟/科学技术计算/分析/设计）的专家，并且面向对象。

机译：面向对象技术的形式化信息融合框架研究

机译：面向对象技术的形式化信息融合框架研究

机译：面向对象软件规范的形式化翻译：一种平衡的方法

机译：从非正式规范到形式化：一种自动化的可视化方法。

机译：安装用于立体定向手术的Neuromate机器人：努力符合日本规范和临床使用方法-技术说明

机译：面向对象程序的形式化规范技术

机译：面向对象软件工程中形式化规范的验证与验证

机译：通用内容传输（UCT）技术：一种系统，该系统建立了一种独特的方式，将电子业务文档从发送方传输到接收方，其中发送方通过使用集中存储的预先建立的电子数据交换，以与接收方不同的EDI规范发送电子文档。 （EDI）在企业使用的所有现有EDI标准和规范之间的映射。

机译：面向对象的数据库系统中的一种方法索引技术和动态更新传播

机译：驯服技术：一种基于模糊逻辑的道德规范实施方法。