Algebraic Specification

From Cibernética Americana
Revision as of 05:11, 22 July 2009 by Root (talk | contribs)
Jump to navigationJump to search

Algebraic specification [1][2][3] is a specific approach to the formal specification, prototyping, and general development of computer programs.

Overview

As an area of applied mathematics and computer science, algebraic specification addresses these concerns[1]:

    1. design of algebraic specification formalisms;
    2. application of algebraic specification techniques to the definition programming languages;
    3. generation of testable or executable prototypes from specifications.

Although there is also a branch of this topic which is more concentrated on theoretical computer than applications, the latter are the focus of this article.

Implementation

Algebraic specification Formalisms

Pure Functional Programming and Specifications

Place of Specification in the SDLC and Customary vs. Best Practices

Researchers

See also

Notes

  1. 1.0 1.1 Bergstra, J. A.; B. Mahr (1989). Algebraic Specification. Academic Press. ISBN 0-201-41635-2. 
  2. Ehrig, E.; J. Heering, J. Klint (1985). Algebraic Specification. EATCS Monographs on Theoretical Computer Science. 6. Springer-Vrlag. 
  3. Wirsing, M. (1990). J. van Leeuwen (ed.). ed. Algebraic Specification. Handbook of Theoretical Computer Science. B. Elsevier. pp. 675–788.