Component Contract-Based Interface Specification Technique Using Z.
| Autor: | Lee, Ji-Hyun, Yoo, Cheol-Jung, Chang, Ok-Bae |
|---|---|
| Zdroj: | International Journal of Software Engineering & Knowledge Engineering. Aug2002, Vol. 12 Issue 4, p453. 17p. |
| Databáze: | Business Source Ultimate |
| Externí odkaz: |
|