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.