GENERALISED ASSESSMENT METHOD (GAM) - PART 3 : EXAMPLES, CAS/IC/MK/D2.3.3/V0, - ESPRIT 9032 - CASCADE PROJECT
EL KOURSI
Type de document
RAPPORT DE RECHERCHE
Langue
anglais
Auteur
EL KOURSI
Résumé / Abstract
CE DOCUMENT EST LE TROISIEME VOLUME DE LA SERIE GAM 'GENERALISED ASSESSMENT METHOD' RESULTAT DU PROJET EUROPEEN CASCADE 'CERTIFICATION AND ASSESSMENT OF SAFETY CRITICAL APPLICATION DEVELOPMENT' QUI A POUR OBJECTIF DE DEVELOPPER UNE METHODE D¹EVALUATION ET CERTIFICATION DES LOGICIELS DE SECURITE DANS LES TRANSPORTS GUIDES. IL DONNE UN ENSEMBLE D¹ETUDES DE CAS INDUSTRIELS POUR L¹EVALUATION A L¹AIDE DE LA METHODE GAM., RAPPORT DE CONTRAT