Contribution à l'élaboration de règles de développement de logiciels critiques par la méthode B

SCHWARTZ

Type de document
RAPPORT DE STAGE
Langue
francais
Auteur
SCHWARTZ
Résumé / Abstract
CE TRAVAIL A POUR OBJECTIF D'IDENTIFIER LES ELEMENTS QUI CONCOURENT A UNE MEILLEURE APPROCHE POUR LE DEVELOPPEMENT EN B DE LOGICIELS CRITIQUES. IL S'AGIT DE DEFINIR DES REGLES PERMETTANT DE REDUIRE LE NOMBRE ET LA COMPLEXITE DES OBLIGATIONS DE PREUVE GENEREES PAR L'ATELIER B. (Etude encadrée par M. EL KOURSI, Resp. INRETS-ESTAS).

puce  Accès à la notice sur le portail documentaire de l'IFSTTAR

  Liste complète des notices publiques de l'IFSTTAR