Abstract FR:

Dans cette these nous presentons la conception et la realisation d'un systeme de representation des connaissances interactif, ecrit en smalltalk-80, ayant les caracteristiques exigees pour acquerir et exploiter les informations pendant la phase de specification d'un systeme. Ce systeme de representation des connaissances, appele iceo, offre une structure d'accueil pour: construire des editeurs (graphiques et textuels); constituer une base de connaissances permettant d'analyser et de comprendre des descriptions donnees dans differents formalismes; lier semantiquement les diverses descriptions d'un meme systeme; interfacer des moyens d'interpretation symbolique, de validation et d'animation. Iceo inclut des mecanismes de representation pour traiter des problemes de perception, de qualification et de coreference apparaissant dans la comprehension de descriptions exprimees dans differents langages, dont les systemes de representation des connaissances existants font plus ou moins defaut ou abstraction