Institut Français des Sciences et Technologies des Transports, de l'Aménagement et des Réseaux

Type de document

RAPPORT DE STAGE

Langue

francais

Auteur

SCHWARTZ

Résumé / Abstract

CE DOCUMENT PRESENTE DES RECOMMANDATIONS POUR LE DEVELOPPEMENT DE LOGICIELS CRITIQUES PAR LA METHODE B. IL VISE A DEMONTRER QU'IL EXISTE DES MOYENS ET TECHNIQUES POUR FACILITER LA PREUVE. IL DECRIT DES REGLES METHODOLOGIQUES POUR ABOUTIR A UN LOGICIEL FORMEL FACILEMENT PROUVABLE. (ETUDE ENCADREE PAR EM EL KOURSI ET G MARIANO, RESP. INRETS-ESTAS).