A refinement calculus for Z
<p>The lack of a method for developing programs from Z specifications is a difficulty that is now widely recognised. As a contribution to solving this problem, we present ZRC, a refinement calculus based on Morgan's work that incorporates the Z notation and follows its style and conventio...
| Váldodahkkit: | , |
|---|---|
| Eará dahkkit: | |
| Materiálatiipa: | Oahppočájánas |
| Giella: | English |
| Almmustuhtton: |
1997
|
| Fáttát: |