zbMATH — the first resource for mathematics

Object-oriented specification case studies. (English) Zbl 0827.68072
Prentice Hall Object-Oriented Series. New York, NY: Prentice Hall. xx, 236 p. (1994).
The articles of this volume will not be indexed individually.
The book contains three introductory chapters giving background information on the specification languages, on existing object-oriented design and analysis techniques, and on the implementation of design and analysis techniques in the specification languages, and their place in a software development process. Each chapter in the main part of the book describes one or more case studies in a specific object-oriented specification language, and explores further issues related to the expression of design and the semantic means for functional specification in the language. Three of the languages presented are based on VDM, three are based on \(Z\), and one (OOZE) is based on algebraic specification.

68Q60 Specification and verification (program logics, model checking, etc.)
68Q65 Abstract data types; algebraic specification
68-01 Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science