21
Formal Specifications—2 Algebraic
Objectives
After reading this chapter, you should understand:
- Specification of Abstract Data Types
- Operations and their Syntax
- How an algibraic specification compares with VDM
- Axioms and Term Rewriting
- Pattern Matching and Unification
A specification, design, procedure, or test plan that will not fit on one page of 8.5-by-11 inch paper cannot be understood.
—Mark Ardis
Absolute certainty about the fail-proofness of a design can never be attained, for we can never be certain that we have been exhaustive in asking questions about its future.
—Henry Petroski
Chapter Outline
Get Design and analysis of Algorithms, 2nd Edition now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.
