On Constructive Specifications of Abstract Data Types Using Temporal Logic

机译：抽象动态数据类型的规范-时间逻辑方法

机译：时态逻辑语言中代数规范的抽象实现

机译：从抽象规范直接实现抽象数据类型

机译：抽象数据类型和过渡图的代数规范：面向对象分析，规范和设计的形式技术

机译：使用抽象数据类型和有限状态机进行协议规范和验证。

机译：组织微阵列数据交换规范：用于验证和增强XML数据的文档类型定义

机译：抽象动态数据类型规范：时间性 逻辑方法

机译：抽象数据类型的计算和规范理论及其应用。

机译：分别评估逻辑电路的方法和设备，准备产品规格数据库的方法和设备，用于评估产品规格的方法和设备以及用于自动生成逻辑电路层次结构的方法和设备

机译：特定于交易策略过程对象的观点的抽象逻辑系统，计算机的中间腿。分离特定逻辑观点的逻辑观点的方法，应用程序编程接口的通用集。在vdeecdeo中提供和从一组输入数据中进行选择，以及。该系统执行针对单个交易事件的特定于一个或多个不同上下文的上下文交易过程准则的处理

机译：个人移动通信中如何定义抽象数据类型以及如何执行抽象数据类型虚拟过程