thesis

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

Defense date:

Jan. 1, 1987

Edit

Institution:

Toulouse 3

Disciplines:

Applied sciences

Authors:

Directors:

Abstract EN:

Pas de résumé disponible.

Abstract FR:

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