Connectors as designs: Modeling, refinement and test case...

Science of Computer Programming 2012 Vol. 77; Iss. 7-8

Connectors as designs: Modeling, refinement and test case generation

Sun Meng, Farhad Arbab, Bernhard K. Aichernig, Lăcrămioara Aştefănoaei, Frank S. de Boer, Jan Rutten
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:
77
Année:
2012
Langue:
english
Pages:
24
DOI:
10.1016/j.scico.2011.04.002
Fichier:
PDF, 434 KB
english, 2012
La conversion en est effectuée
La conversion en a échoué