Algebraic Specification: Difference between revisions
From Cibernética Americana
Jump to navigationJump to search
| Line 38: | Line 38: | ||
==See also== | ==See also== | ||
* [[AII]] | * [[AII]] | ||
* [[:en:Algebraic specification]] | * [[:en:Algebraic specification|Algebraic specification]] | ||
* [[:en:Common Algebraic Specification Language]]. | * [[:en:Common Algebraic Specification Language|Common Algebraic Specification Language]]. | ||
* [[:en:Formal specification]] | * [[:en:Formal specification|Formal specification]] | ||
* [[TAIS]] | * [[TAIS]] | ||
