# Difference between revisions of "Algebraic Specification"

(Created page with ' '''Algebraic specification'''<ref>{{cite book|title=Algebraic Specification|first=J. A.|last=Bergstra|coauthors=B. Mahr|publisher=Academic Press|date=1989|isbn=0-201-41635-2}}</...') |
|||

(50 intermediate revisions by the same user not shown) | |||

Line 1: | Line 1: | ||

+ | {{TOCleft}} | ||

+ | [[:en:Algebraic specification]] | ||

− | + | == Overview == | |

− | |||

− | |||

− | |||

− | |||

− | |||

− | |||

− | |||

− | |||

− | |||

− | |||

− | |||

− | |||

− | |||

− | |||

− | |||

− | |||

− | |||

− | + | '''Algebraic specification''' <ref name="BHK">{{cite book|title=Algebraic Specification|first=J. A.|last=Bergstra|coauthors=B. Mahr|publisher=Academic Press|date=1989|isbn=0-201-41635-2}}</ref><ref>{{cite book|title=Algebraic Specification|first=E.|last=Ehrig|coauthors=J. Heering, J. Klint|publisher=Springer-Vrlag|date=1985|series=EATCS Monographs on Theoretical Computer Science|volume=6}}</ref><ref>{{cite book|title=Algebraic Specification|first=M.|last=Wirsing|series=Handbook of Theoretical Computer Science|volume=B|editor=J. van Leeuwen (ed.)|date=1990|publisher=Elsevier|pages=675–788}}</ref> is a specific approach to the formal specification, prototyping, and general development of computer programs. | |

− | |||

− | |||

− | == | + | Algebraic modeling of systems is the basic methodology of '''ai-integration.biz''' with antecedents in '''Langefors (TAIS)''' and the '''[[:en:Burroughs large systems|Burroughs Large Systems]]'''. This page gives an overview of this and the generic topic. |

+ | |||

+ | == Elements == | ||

+ | As an area of applied mathematics and computer science, Algebraic Specification (AS) addresses these concerns<ref name="BHK"/>: | ||

+ | |||

+ | *# design of algebraic specification formalisms; | ||

+ | *# application of algebraic specification techniques to the definition programming languages; | ||

+ | *# 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 and Issues== | ||

+ | |||

+ | === Algebraic specification Formalisms === | ||

+ | |||

+ | === Pure Functional Programming and Specifications === | ||

+ | |||

+ | === Development Practices === | ||

+ | |||

+ | The broad spectrum of observed practices in which computer systems are actually developed is a superset of those covered in the so-called [[:en:Software Engineering|Software Engineering]]. | ||

+ | |||

+ | ==== Capability Maturity ==== | ||

− | + | ==== Software Design in a Social Context ==== | |

− | |||

− | == | + | == Researchers == |

+ | * [[:en:Donald Sannella|Donald Sannella]] | ||

− | + | ==See also== | |

+ | * [[AII]] | ||

+ | * [[:en:Algebraic specification|Algebraic specification]] | ||

+ | * [[:en:Common Algebraic Specification Language|Common Algebraic Specification Language]]. | ||

+ | * [[:en:Formal specification|Formal specification]] | ||

+ | * [[TAIS]] | ||

− | + | == Notes == | |

− | + | <references /> |

## Latest revision as of 19:08, 9 August 2009

## Overview

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

Algebraic modeling of systems is the basic methodology of **ai-integration.biz** with antecedents in **Langefors (TAIS)** and the **Burroughs Large Systems**. This page gives an overview of this and the generic topic.

## Elements

As an area of applied mathematics and computer science, Algebraic Specification (AS) addresses these concerns^{[1]}:

- design of algebraic specification formalisms;
- application of algebraic specification techniques to the definition programming languages;
- 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 and Issues

### Algebraic specification Formalisms

### Pure Functional Programming and Specifications

### Development Practices

The broad spectrum of observed practices in which computer systems are actually developed is a superset of those covered in the so-called Software Engineering.

#### Capability Maturity

#### Software Design in a Social Context

## Researchers

## See also

## Notes

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