De l'adéquation de la programmation logique aux systèmes à bases de connaissances : A.I.D.A.

  • Philippe Moisse

Thèse de l'étudiant: Master typesMaster en sciences informatiques

Résumé

Lorsque des problèmes surviennent pendant l'exécution d'un système d'exploitation, la seule solution pratique pour les résoudre est de faire une copie binaire intégrale, appelée 'dump', de tout le système et de l'analyser ensuite. AIDA est un outil qui permet, sur base d'une description formelle des structures de données du système d'exploitation, de parcourir un 'dump' à la recherche d'incohérences ou d'erreurs. A ce titre, AIDA peut également se révéler très utile lors du développement et de la mise au point du système d'exploitation.
la date de réponse1990
langue originaleFrançais
L'institution diplômante
  • Universite de Namur
SuperviseurJean RAMAEKERS (Promoteur)

Contient cette citation

'