Algebraic specification

From Wikipedia, the free encyclopedia

You have new messages (last change).

Algebraic specification is a formal process of refining specifications to systematically develop more efficient programs. It is directly applicable to computer science.

See Also: Common Algebraic Specification Language.

References:


Comp Sci logo This computer science-related article is a stub. You can help Wikipedia by expanding it.
Retrieved from "http://en.wikipedia.org../../../a/l/g/Algebraic_specification.html"