SPECIFICATIONS FORMELLES ET EXECUTABLES EN PROGRAMMATION EN LOGIQUE : APPLICATION A LA STANDARDISATION DE PROLOG
DANS LE PROCESSUS DE SPECIFICATION D'UN SYSTEME SE POSE TOUJOURS LE PROBLEME DU CHOIX DU LANGAGE DANS LEQUEL CETTE SPECIFICATION DOIT ETRE FORMULEE. NOUS PRESENTONS, LA METHODE DE SPECIFICATION QUI A ETE PROPOSEE PAR P. DERANSART ET G. FERRAND ET QUI EST BASEE SUR LES PROGRAMMES NORMAUX QUELCON...
Salvato in:
| Autore principale: | |
|---|---|
| Altri autori: | |
| Natura: | Thèse et Mémoire papier |
| Lingua: | Français |
| Pubblicazione: |
[S.l.] :
[s.n.]
1993.
|
| Soggetti: | |
| Nota: |
1993ORLE2010 |
| Autres localisations: | Voir dans le Sudoc |
| Variante du titre: | FORMAL AND EXECUTABLE SPECIFICATIONS IN LOGIC PROGRAMMING: AN APPLICATION TO PROLOG STANDARDISATION |