COMPONENT CONTRACT-BASED INTERFACE SPECIFICATION TECHNIQUE...

International Journal of Software Engineering and Knowledge Engineering 2002 / 08 Vol. 12; Iss. 4

COMPONENT CONTRACT-BASED INTERFACE SPECIFICATION TECHNIQUE USING Z

LEE, JI-HYUN, YOO, CHEOL-JUNG, CHANG, OK-BAE
Avez-vous aimé ce livre?
Quelle est la qualité du fichier téléchargé?
Veuillez télécharger le livre pour apprécier sa qualité
Quelle est la qualité des fichiers téléchargés?
Volume:
12
Langue:
english
Journal:
International Journal of Software Engineering and Knowledge Engineering
DOI:
10.1142/s0218194002000974
Date:
August, 2002
Fichier:
PDF, 439 KB
english, 2002
La conversion en est effectuée
La conversion en a échoué