Algebraic Specification: Difference between revisions
From Cibernética Americana
Jump to navigationJump to search
No edit summary |
|||
| Line 9: | Line 9: | ||
# abstract from implementation details irrelevant to the mathematics of the application | # abstract from implementation details irrelevant to the mathematics of the application | ||
# formalizing computations for specific data models | # formalizing computations for specific data models | ||
# | # provide opportunities for automation due to a now explicit rule base embodied in the theory which the specification embodies | ||
==Implementation== | ==Implementation== | ||
