Algebraic Specification: Difference between revisions
From Cibernética Americana
Jump to navigationJump to search
No edit summary |
No edit summary |
||
| Line 7: | Line 7: | ||
*# application of algebraic specification techniques to the definition programming languages; | *# application of algebraic specification techniques to the definition programming languages; | ||
*# generation of testable or executable prototypes from specifications. | *# generation of testable or executable prototypes from specifications. | ||
Although there is also a branch of this topic which is more concentrated on theoretical computer than applications, the | |||
latter are the focus of this article. | |||
==Implementation== | ==Implementation== | ||
