METHODE DE CARACTERISATION FONCTIONNELLE DES SYSTEMES LOGICIELS. APPLICATION AU CAS DES SYSTEMES DE FICHIERS / C. PARENT

Date :

Editeur / Publisher : [S.l.] : [s.n.] , 1975

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : français / French

Université Pierre et Marie Curie (Paris ; 1971-2017) (Organisme de soutenance / degree-grantor)

Résumé / Abstract : ON PROPOSE UNE METHODE GENERALE D'ETUDE FONCTIONNELLE DES SYSTEMES LOGICIELS, POUVANT ETRE APPLIQUEE A TOUT TYPE DE SYSTEMES. LA METHODE COMPORTE TROIS PARTIES SUCCESSIVES: ETABLIR UNE DEFINITION FONCTIONNELLE DE CHAQUE SYSTEME PARTICULIER; SITUER CHAQUE SYSTEME PARTICULIER DANS L'ENSEMBLE DES SYSTEMES CONNUS; STRUCTURER L'ENSEMBLE DES SYSTEMES CONNUS.