O'Reilly logo

Design and analysis of Algorithms, 2nd Edition by Himanshu B Dave

Stay ahead with the world's most comprehensive technology and business learning platform.

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, tutorials, and more.

Start Free Trial

No credit card required

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

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, interactive tutorials, and more.

Start Free Trial

No credit card required