Formal methods and metrics : application to B development assessment

MARIANO ; EL KOURSI

Type de document
COMMUNICATION AVEC ACTES INTERNATIONAL (ACTI)
Langue
anglais
Auteur
MARIANO ; EL KOURSI
Résumé / Abstract
THIS PAPER DEALS WITH AN APPROACH FOR ASSESSING SAFETY CRITICAL SOFTWARE DEVELOPED BY THE B FORMAL METHOD. THE PAPER FOCUS HERE ON HOW TO USE SPECIFIC METRICS RELATED TO SOFTWARE PRODUCTION ORDER TO CONTRIBUTE TO AN ASSESSMENT. A SET OF METRICS RELATED TO THE STRUCTURE, SIZE, COMPLEXITY AND PROOF OF SPECIFICATIONS ARE DISCUSSED.

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

  Liste complète des notices publiques de l'IFSTTAR