Algebraic Specification: Difference between revisions
From Cibernética Americana
Jump to navigationJump to search
No edit summary |
No edit summary |
||
| Line 2: | Line 2: | ||
== Overview == | == Overview == | ||
As an area of applied mathematics and computer science, | As an area of applied mathematics and computer science, Algebraic Specification (AS) addresses these concerns<ref name="BHK"/>: | ||
*# design of algebraic specification formalisms; | *# design of algebraic specification formalisms; | ||
| Line 18: | Line 18: | ||
=== Development Practices === | === Development Practices === | ||
The broad spectrum of observed practices in which computer systems are actually developed is a superset of those covered in [[:en:Software Engineering]]. | |||
==== Capability Maturity ==== | ==== Capability Maturity ==== | ||
