Algebraic Specification: Difference between revisions

@@ Line 4: / Line 4: @@
 is a specific approach to formal specification of computer programs.
 == Goals ==
-The purpose of an algebraic specification is to:<br />
+The purposes of an algebraic specification are to:
-# represent mathematical structures and functions over those<br />
+# represent applications and their subparts as mathematical objects and functions applicable to same
-# while abstracting from implementation details such as the size of representations (in memory) and the efficiency of obtaining outcome of computations<br />
+# abstract from implementation details irrelevant to the mathematics of the application
-# as such formalizing computations on data<br />
+# formalizing computations for specific data models
-#. allowing for automation due to a limited set of rules<br /><br />
+# provided opportunities for automation due to a now explicit rule base embodied in the theory which the specification embodies
 ==Implementation==

Navigation menu