Algebraic Specification: Difference between revisions
From Cibernética Americana
Jump to navigationJump to search
No edit summary |
No edit summary |
||
| Line 1: | Line 1: | ||
'''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}}</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 formal | '''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}}</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 formal specification of computer programs. | |||
== Goals == | |||
The purpose of an algebraic specification is to:<br /> | |||
1. represent mathematical structures and functions over those<br /> | 1. represent mathematical structures and functions over those<br /> | ||
2. while abstracting from implementation details such as the size of representations (in memory) and the efficiency of obtaining outcome of computations<br /> | 2. while abstracting from implementation details such as the size of representations (in memory) and the efficiency of obtaining outcome of computations<br /> | ||
| Line 18: | Line 23: | ||
It is directly applicable to [[computer science]]. | It is directly applicable to [[computer science]]. | ||
== Researchers == | |||
* [[Donald Sannella]] | * [[Donald Sannella]] | ||
* [[Andrzej Tarlecki]] | * [[Andrzej Tarlecki]] | ||
