Generation automatique d'algorithmes par systeme expert, a partir de specifications declaratives de tres haut niveau : le systeme cogito

par BRUNO GINOUX

Thèse de doctorat en Sciences appliquées

Sous la direction de Michel Gondran.

Soutenue en 1991

à Paris 9 .

    mots clés mots clés


  • Résumé

    Cogito est un systeme prototype qui genere automatiquement un algorithme imperatif optimise a partir d'une specification de programme exprimee dans un langage declaratif de tres haut niveau. C'est un systeme general, qui utilise une methodologie de type transformationnel et qui fonctionne de maniere completement automatique. Chaque transformation etant prouvee valide, l'algorithme genere par cogito est par construction correct par rapport a la specification initiale. Cogito est ecrit sous la forme d'un systeme expert a regles de productions d'ordre 1. Le langage de specification est un langage formel de type mathematique et le systeme utilise pour raisonner une representation conceptuelle des donnees effectuee dans un modele semantique de type entite-association. L'avantage principal du systeme est de situer l'activite de programmation a un niveau d'abstraction plus eleve que son niveau habituel, ce qui induit de nombreuses consequences telles que notamment: la diminution des couts de developpement et de maintenance de l'augmentation de la fiabilite des logiciels produits


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Annexes : 168 REF

Où se trouve cette thèse ?

  • Bibliothèque : Université Paris-Dauphine (Paris). Service commun de la documentation.
  • Accessible pour le PEB
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.