Algebraic Specification: Difference between revisions
From Cibernética Americana
Jump to navigationJump to search
No edit summary |
|||
| (4 intermediate revisions by the same user not shown) | |||
| Line 1: | Line 1: | ||
{{TOCleft}} | {{TOCleft}} | ||
[[:en:Algebraic specification]] | [[:en:Algebraic specification]] | ||
== Overview == | == 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 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 == | == Elements == | ||
| Line 19: | Line 18: | ||
latter are the focus of this article. | latter are the focus of this article. | ||
==Implementation== | ==Implementation and Issues== | ||
=== Algebraic specification Formalisms === | === Algebraic specification Formalisms === | ||
| Line 27: | Line 26: | ||
=== Development Practices === | === Development Practices === | ||
The broad spectrum of observed practices in which computer systems are actually developed is a superset of those covered in [[:en:Software Engineering]]. | 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 ==== | ==== Capability Maturity ==== | ||
Latest revision as of 12: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.
