Algebraic Specification: Difference between revisions
From Cibernética Americana
Jump to navigationJump to search
No edit summary |
No edit summary |
||
| (One intermediate revision by the same user not shown) | |||
| Line 18: | Line 18: | ||
latter are the focus of this article. | latter are the focus of this article. | ||
==Implementation== | ==Implementation and Issues== | ||
=== Algebraic specification Formalisms === | === Algebraic specification Formalisms === | ||
| Line 26: | Line 26: | ||
=== 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]]. | The broad spectrum of observed practices in which computer systems are actually developed is a superset of those covered in the so-called [[:en:Software Engineering|Software Engineering]]. | ||
==== Capability Maturity ==== | ==== Capability Maturity ==== | ||
