Algebraic Specification: Difference between revisions
From Cibernética Americana
Jump to navigationJump to search
m Protected "Algebraic Specification" ([edit=sysop] (indefinite) [move=sysop] (indefinite)) |
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 process of refining specifications to systematically develop more efficient programs.The purpose of an algebraic specification is to:<br /> | '''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 process of refining specifications to systematically develop more efficient programs.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 /> | ||
| Line 30: | Line 29: | ||
== Notes == | == Notes == | ||
<references/> | <references /> | ||
{{compsci-stub}} | {{compsci-stub}} | ||
[[pt:Especificação algébrica]] | [[pt:Especificação algébrica]] | ||
