Algebraic Specification: Difference between revisions
From Cibernética Americana
Jump to navigationJump to search
No edit summary |
No edit summary |
||
| Line 10: | Line 10: | ||
# as such formalizing computations on data<br /> | # as such formalizing computations on data<br /> | ||
#. allowing for automation due to a limited set of rules<br /><br /> | #. allowing for automation due to a limited set of rules<br /><br /> | ||
==Implementation== | |||
An algebraic specification achieves these goals by means of defining a number of sorts (data types) together | An algebraic specification achieves these goals by means of defining a number of sorts (data types) together | ||
