Algebraic Specification: Difference between revisions
From Cibernética Americana
Jump to navigationJump to search
No edit summary |
No edit summary |
||
| (15 intermediate revisions by the same user not shown) | |||
| Line 1: | Line 1: | ||
{{ | {{TOCleft}} | ||
[[:en:Algebraic specification]] | |||
== Overview == | == Overview == | ||
As an area of applied mathematics and computer science, | |||
'''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; | *# design of algebraic specification formalisms; | ||
| Line 11: | 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 17: | Line 24: | ||
=== Pure Functional Programming and Specifications === | === 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 == | == Researchers == | ||
* [[:en:Donald Sannella]] | * [[:en:Donald Sannella|Donald Sannella]] | ||
==See also== | ==See also== | ||
* [[:en:Algebraic specification]] | * [[AII]] | ||
* [[:en:Common Algebraic Specification Language]]. | * [[:en:Algebraic specification|Algebraic specification]] | ||
* [[:en:Formal specification]] | * [[:en:Common Algebraic Specification Language|Common Algebraic Specification Language]]. | ||
* [[:en:Formal specification|Formal specification]] | |||
* [[TAIS]] | |||
== Notes == | == Notes == | ||
<references /> | <references /> | ||
