Algebraic Specification: Difference between revisions
From Cibernética Americana
Jump to navigationJump to search
No edit summary |
No edit summary |
||
| (10 intermediate revisions by the same user not shown) | |||
| Line 1: | Line 1: | ||
{{TOCleft}} | {{TOCleft}} | ||
[[:en:Algebraic | [[: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 ==== | ||
| Line 34: | Line 33: | ||
== 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 /> | ||
