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...
Tallennettuna:
| Päätekijä: | |
|---|---|
| Muut tekijät: | |
| Aineistotyyppi: | Thèse et Mémoire papier |
| Kieli: | Français |
| Julkaistu: |
[S.l.] :
[s.n.]
1993.
|
| Aiheet: | |
| Huomautus: |
1993ORLE2010 |
| Autres localisations: | Voir dans le Sudoc |
| Variante du titre: | FORMAL AND EXECUTABLE SPECIFICATIONS IN LOGIC PROGRAMMING: AN APPLICATION TO PROLOG STANDARDISATION |
| LEADER | 03182nam a22002777a 4500 | ||
|---|---|---|---|
| 001 | 196915 | ||
| 008 | 990313s1993 xx|||||| |||| 00| 0 fre d | ||
| 009 | PPN043922570 | ||
| 041 | 0 | |a fre |b fre | |
| 084 | |a 001.D.02.B.09_001.D.02.B.02_001.D.02.C.02 | ||
| 084 | |a 620 | ||
| 100 | 1 | |a Ed-Dbali, AdbelAli, |d 1966- | |
| 240 | 1 | 0 | |a FORMAL AND EXECUTABLE SPECIFICATIONS IN LOGIC PROGRAMMING: AN APPLICATION TO PROLOG STANDARDISATION |
| 245 | 1 | 0 | |a SPECIFICATIONS FORMELLES ET EXECUTABLES EN PROGRAMMATION EN LOGIQUE : |b APPLICATION A LA STANDARDISATION DE PROLOG |c ABDELALI ED-DBALI ; SOUS LA DIRECTION DE G. FERRAND. |
| 260 | |a [S.l.] : |b [s.n.], |c 1993. | ||
| 300 | |a 189 P. | ||
| 500 | |a 1993ORLE2010 | ||
| 502 | |a Thèse de doctorat. Sciences appliquées. Orléans. 1993 | ||
| 504 | |a 41 REF. | ||
| 520 | |a 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 QUELCONQUES, ENSUITE NOUS NOUS LIMITONS AUX CAS STRATIFIES. UN PROGRAMME ECRIT DANS CE LANGAGE EST CONSIDERE COMME UNE SPECIFICATION. A CHAQUE PAQUET DE CLAUSES D'UNE SPECIFICATION EST ASSOCIEE UNE ASSERTION SEMI-FORMELLE. LES ASSERTIONS TRADUISENT PARTIELLEMENT LA SEMANTIQUE ATTENDUE DE LA SPECIFICATION. LA METHODOLOGIE SOUS-JACENTE POUR L'ELABORATION ET LA MISE EN UVRE DES PREUVES DE CORRECTION PARTIELLE ET DE COMPLETUDE EST PRESENTEE. CETTE METHODE A ETE UTILISEE POUR SPECIFIER PROLOG STANDARD. NOUS PRESENTONS, DANS UNE SECONDE ETAPE, UN ALGORITHME DE CALCUL DE LA STRATIFICATION MINIMALE D'UN PROGRAMME STRATIFIE. NOUS DISCUTONS EGALEMENT LA DERIVATION D'UNE SPECIFICATION EXECUTABLE A PARTIR D'UNE SPECIFICATION FORMELLE ECRITE DANS LE LANGAGE EVOQUE CI-DESSUS. NOUS ILLUSTRONS CECI PAR L'EXEMPLE DE PROLOG STANDARD. ENFIN, NOUS INTRODUISONS UNE UTILISATION ORIGINALE DU TYPAGE POUR UN DIAGNOSTIC PERTINENT DES ERREURS DANS DES PROGRAMMES EN LOGIQUE. PLUS PRECISEMENT, NOUS PROPOSONS D'AJOUTER AU PROGRAMME DES DECLARATIONS DE TYPES AVEC QUELQUES CAS D'ERREURS AINSI QUE DES DECLARATIONS DE PROFILS. NOUS GENERONS ENSUITE AUTOMATIQUEMENT LES CLAUSES DE CAS D'ERREURS RELATIFS A CHAQUE PREDICAT. CE SYSTEME PEUT ETRE UTILISE DANS LA MISE AU POINT DE PROGRAMMES EN LOGIQUE. UNE APPLICATION DIRECTE DU SYSTEME POUR LA VALIDATION DES SPECIFICATIONS DES CAS D'ERREURS DES PREDICATS PREDEFINIS DE PROLOG STANDARD EST PRESENTEE | ||
| 650 | |a Thèses et écrits académiques | ||
| 700 | 1 | |a Ferrand, G. |4 ths | |
| 710 | 2 | |a Université d'Orléans. |4 dgg | |
| 787 | 0 | 8 | |i Reproduced as: |0 246214783 |t SPECIFICATIONS FORMELLES ET EXECUTABLES EN PROGRAMMATION EN LOGIQUE |o APPLICATION A LA STANDARDISATION DE PROLOG |f Abdelali Ed-Dbali |d 1993 |c Grenoble |n Atelier national de reproduction des thèses |p Microfiches |s [Grenoble thèses] |
| 997 | |0 196915 |1 Thèse et Mémoire papier |a Ressource papier |c 0/Orléans/ |c 1/Orléans/BU Sciences, Technologies, STAPS/ |z Orléans, BU Sciences, Technologies, STAPS, TS 19-1993-10 |z Orléans, BU Sciences, Technologies, STAPS, TS 19-1993-10b | ||
| 999 | |5 452342104:050478273 |a ORLEANS | ||