Automatic analysis of requirements consistency with the B...

ACM SIGSOFT Software Engineering Notes 2010 / 03 Vol. 35; Iss. 2

Automatic analysis of requirements consistency with the B method

de Sousa, Thiago C., Almeida, Jorge R., Viana, Sidney, Pavón, Judith
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:
35
Langue:
english
Journal:
ACM SIGSOFT Software Engineering Notes
DOI:
10.1145/1734103.1734114
Date:
March, 2010
Fichier:
PDF, 363 KB
english, 2010
La conversion en est effectuée
La conversion en a échoué