Epsp : un environnement support de genie logiciel base sur l'approche du prototypage de systeme et sur le langage prolog

par Daliang Duan

Thèse de doctorat en Sciences appliquées

Sous la direction de Jean Vignolle.

Soutenue en 1987

à Toulouse 3 .

    mots clés mots clés


  • Résumé

    Epsp offre une interface informelle pour etablir un prototype de systeme en prolog (psp). Cette interface a essentiellement pour but de rendre prolog le plus transparent possible a l'utilisateur. Epsp utilise une specification executable comme prototype, ecrit en prolog. Epsp permet le raffinage a partir de la specification par tranformation successive du psp. Epsp est constitue de plusieurs outils logiciels. Il est developpe en prolo nongp et pascal


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 186 P.
  • Annexes : 152 REF

Où se trouve cette thèse ?

  • Bibliothèque : Université Paul Sabatier. Bibliothèque universitaire de sciences.
  • Disponible pour le PEB
  • Cote : 1987TOU30223
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.