Croissance de la sûreté de fonctionnement des logiciels : caractérisation, modélisation, évaluation

Recherche avancée

Uniquement les thèses soutenues Uniquement les thèses soutenues accessibles en ligne

SIGNALER une erreur

EXPORTER les infos

par Karama Kanoun

Thèse de doctorat en Informatique

Sous la direction de Jean-Claude Laprie.

Soutenue en 1989

Résumé

Le comportement du logiciel est modelise en fonction de differentes situations: correction immediate ou differee par lot, changements de specifications. Pour chacune des situations un modele de connaissance est etabli. Ces modeles sont ensuite approches par des modeles d'action. Une methode d'evaluation de la surete de fonctionnement des logiciels est proposee

Titre traduit

Software dependability growth charactetization, modeling and evaluation
Pas de résumé disponible.

Consulter en bibliothèque

Informations

Où se trouve cette thèse\u00a0?

Bibliothèque : Moyens Informatiques et Multimédia. Information.
Disponible pour le PEB
Cote : D-KAN
Bibliothèque : École nationale supérieure d'électrotechnique, d'électronique, d'informatique, d'hydraulique et des télécommunications. Bibliothèque.
Disponible pour le PEB
Cote : 89INPT012H/1

Bibliothèque : Université Grenoble Alpes (Saint-Martin d'Hères, Isère). Bibliothèque et Appui à la Science Ouverte. Bibliothèque universitaire Joseph-Fourier.
Non disponible pour le PEB
Cote : MF-1989-KAN