|
Titre :
|
Application des techniques formelles au logiciel
|
|
Auteurs :
|
OBSERVATOIRE FRANCAIS DES TECHNIQUES AVANCEES, Auteur
|
|
Type de document :
|
texte imprimé
|
|
Editeur :
|
Paris : OFTA, 1997
|
|
Collection :
|
Arago, ISSN 0985-7877, num. 20
|
|
ISBN/ISSN/EAN :
|
978-2-906028-06-7
|
|
Format :
|
284 p. / 22 x 16 cm
|
|
Langues:
|
Français
|
|
Index. décimale :
|
004 (Matériel : architecture, évaluation, entretien et réparation des ordinateurs, périphériques (modems, imprimantes, scanners... ), Stockage des données et mémoire : disquettes, disques durs, cédéroms?)
|
|
Résumé :
|
Ce rapport de synthèse du groupe de travail Méthodes formelles en logiciel de l'Observatoire français des techniques avancées, montre comment l'utilisation des techniques formelles va aider à la résolution des problèmes de productivité et de fiabilité du logiciel.
|
