Algebraic Specification: Difference between revisions
From Cibernética Americana
Jump to navigationJump to search
No edit summary |
|||
| Line 37: | Line 37: | ||
==See also== | ==See also== | ||
* [[AII]] | |||
* [[:en:Algebraic specification]] | * [[:en:Algebraic specification]] | ||
* [[:en:Common Algebraic Specification Language]]. | * [[:en:Common Algebraic Specification Language]]. | ||
* [[:en:Formal specification]] | * [[:en:Formal specification]] | ||
* [[TAIS]] | |||
== Notes == | == Notes == | ||
<references /> | <references /> | ||
