机译:用于抽象数据类型的输入输出的代数规范
Abstract Data TypesAlgebraic SpecificationInput-Output;
机译:从形式代数规范验证抽象数据类型实现的创新教学工具
机译:从抽象规范直接实现抽象数据类型
机译:具有并发抽象数据类型的CSCW应用程序的正式规范
机译:抽象数据类型和过渡图的代数规范:面向对象分析,规范和设计的形式技术
机译:使用抽象数据类型和有限状态机进行协议规范和验证。
机译:组织微阵列数据交换规范:用于验证和增强XML数据的文档类型定义
机译:从形式代数规范验证抽象数据类型实现的创新教学工具
机译:从代数规范中自动合成抽象数据类型的实现。