ETUDE SUR L'APPLICATION DE METHODES FORMELLES A LA COMPILATION ET A LA VALIDATION DE PROGRAMMES ELECTRE

ETUDE SUR L'APPLICATION DE METHODES FORMELLES A LA COMPILATION ET A LA VALIDATION DE PROGRAMMES ELECTRE

APRES UNE PRESENTATION INFORMELLE DU LANGAGE ELECTRE, NOUS DONNONS UNE FORMALISATION DE LA SEMANTIQUE DE CE LANGAGE, AINSI QUE DE SON MODELE D'EXECUTION, SOUS FORME DE SEMANTIQUE OPERATIONNELLE. CETTE FORMALISATION EST UTILISEE POUR REALISER UNE THEORIE D'ELECTRE DANS L'ASSISTANT A LA...

Description complète

Enregistré dans:
Détails bibliographiques
Auteur principal : Argon Pablo (Auteur)
Collectivité auteur : Université de Nantes 1962-2021 (Organisme de soutenance)
Autres auteurs : Roux Olivier (Directeur de thèse)
Format : Thèse ou mémoire
Langue : français
Titre complet : ETUDE SUR L'APPLICATION DE METHODES FORMELLES A LA COMPILATION ET A LA VALIDATION DE PROGRAMMES ELECTRE / PABLO ARGON; SOUS LA DIRECTION DE OLIVIER ROUX
Publié : [S.l.] : [s.n.] , 1998
Description matérielle : 138 P.
Note de thèse : Thèse de doctorat : Sciences appliquées : Nantes : 1998
Sujets :
SCIENCES APPLIQUEES : INFORMATIQUE, AUTOMATIQUE THEORIQUE, SYSTEMES
COMPILATION/SEMANTIQUE OPERATIONNELLE/VERIFICATION/MODELE/PROGRAMMATION LOGIQUE/CONTRAINTE/VALIDATION/CERTIFICATION/PROGRAMME ORDINATEUR/LANGAGE ELECTRE/ASSISTANT PREUVE COQ/OUTIL SPIN/METHODE FORMELLE/CD
COMPILATION/OPERATIONAL SEMANTICS/VERIFICATION/MODELS/LOGICAL PROGRAMMING/CONSTRAINT/VALIDATION/CERTIFICATION/COMPUTER PROGRAM/FORMAL METHOD/CD
Thèses et écrits académiques
Particularités de l'exemplaire : BU Sciences, Ex. 1 :
Titre temporairement indisponible à la communication
BU Sciences, Ex. 2 :
Titre temporairement indisponible à la communication
Table des matières indisponible