Génération automatique d'algorithmes par système expert, à partir de spécifications déclaratives de très haut niveau : le système 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 système prototype qui génère automatiquement un algorithme impératif optimise à partir d'une spécification de programme exprimée dans un langage déclaratif de très haut niveau. C'est un système général, qui utilise une méthodologie de type transformationnel et qui fonctionne de manière complètement automatique. Chaque transformation étant prouvée valide, l'algorithme généré par Cogito est par construction correct par rapport à la spécification initiale. Cogito est écrit sous la forme d'un système expert à règles de productions d'ordre 1. Le langage de spécification est un langage formel de type mathématique et le système utilise pour raisonner une représentation conceptuelle des données effectuée dans un modèle sémantique de type entité-association. L'avantage principal du système est de situer l'activité de programmation à un niveau d'abstraction plus élevé que son niveau habituel, ce qui induit de nombreuses conséquences telles que notamment: la diminution des couts de développement et de maintenance de l'augmentation de la fiabilité des logiciels produits

  • Titre traduit

    An expert system for automatic algorithm generation from very high level specifications : the Cogito system


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Annexes : 168 réf

Où se trouve cette thèse ?

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