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

Type de document

RAPPORT DE RECHERCHE

Langue

anglais

Auteur

WAESELYNCK ; BOULANGER ; DUFOUR ; MEYNADIER ; DAVIES

Résumé / Abstract

THIS DELIVERABLE IS COMPOSED OF TWO MAIN PARTS. THE FIRST PART IS DEVOTED TO ASSESSMENT CRITERIA RELATED TO THE TESTING PROCESS, FOR HIGH INTEGRITY SOFTWARE. THE SECOND ONE CONTAINS A DISCUSSION OF THE IMPACT OF USING A FORMAL DEVELOPMENT METHOD, NAMELY THE B METHOD, ON SOFTWARE DESIGN VERIFICATION., RAPPORT DE CONTRAT