拉诺，凯文（编辑）；霍顿，霍华德（编辑） 面向对象的规范案例研究。 （英语） Zbl 0827.68072号 普伦蒂斯·霍尔面向对象系列。纽约州纽约市：普伦蒂斯·霍尔。xx，236页（1994年）。 本卷的文章不会单独编入索引。本书包含三个介绍性章节，提供了有关规范语言、现有面向对象设计和分析技术、规范语言中设计和分析方法的实现及其在软件开发过程中的位置的背景信息。本书主要部分的每一章都用一种特定的面向对象规范语言描述了一个或多个案例研究，并进一步探讨了与设计的表达和语言中功能规范的语义手段有关的问题。提出的三种语言基于VDM，三种基于Z，一种基于代数规范。 引用于2文件 MSC公司： 60年第68季度 规范和验证（程序逻辑、模型检查等） 68问题65 抽象数据类型；代数规范 68-01 与计算机科学相关的介绍性说明（教科书、教程论文等） 关键词：面向对象的规范；案例研究；规范语言；面向对象设计；代数规范 软件：OBJ3型；泄漏 PDF格式BibTeX公司 XML格式引用 \textit｛K.Lano｝（编辑）和\textit｛H.Haughton｝（编辑），面向对象的规范案例研究。纽约州纽约市：普伦蒂斯·霍尔（1994；Zbl 0827.68072）