Compilation et vérification des programmes ELECTRE

On présente dans cette thèse une sémantique opérationnelle du langage réactif asynchrone ELECTRE basée sur un système de réécriture conditionnelle par calcul d'attributs synthétises sur la grammaire du langage. On montre que cette sémantique permet de construire un modèle d'exécution fini...

Description complète

Enregistré dans:
Détails bibliographiques
Auteur principal : Cassez Franck (Auteur)
Collectivité auteur : Université de Nantes 1962-2021 (Organisme de soutenance)
Autres auteurs : Elloy Jean-Pierre (Directeur de thèse)
Format : Thèse ou mémoire
Langue : français
Titre complet : Compilation et vérification des programmes ELECTRE / Franck Cassez; sous la direction de Jean-Pierre Elloy
Publié : [S.l.] : [s.n.] , 1993
Description matérielle : 1 vol. (132 p.)
Note de thèse : Thèse de doctorat : Automatique et informatique appliquée : Nantes : 1993
Sujets :
Particularités de l'exemplaire : BU Sciences, Ex. 1 :
Titre temporairement indisponible à la communication

BU Sciences, Ex. 2 :
Titre temporairement indisponible à la communication

LEADER 03537cam a2200721 4500
001 PPN044219784
003 http://www.sudoc.fr/044219784
005 20240829055200.0
029 |a FR  |b 1993NANT2013 
035 |a (OCoLC)490458807 
035 |a thS-00077126 
035 |a TC93-0492706 
035 |a DYNIX_BUNAN_105008 
100 |a 19990313d1993 k y0frey0103 ba 
101 0 |a fre  |d fre  |2 639-2 
102 |a FR 
105 |a a ma 000yy 
106 |a r 
181 |6 z01  |c txt  |2 rdacontent 
181 1 |6 z01  |a i#  |b xxxe## 
182 |6 z01  |c n  |2 rdamedia 
182 1 |6 z01  |a n 
200 1 |a Compilation et vérification des programmes ELECTRE  |f Franck Cassez  |g sous la direction de Jean-Pierre Elloy 
210 |a [S.l.]  |c [s.n.]  |d 1993 
215 |a 1 vol. (132 p.)  |c fig.  |d 30 cm 
300 |a ECN 
301 |a 1993NANT2013 
316 |5 441092104:178729728  |a Titre temporairement indisponible à la communication 
316 |5 441092104:178729736  |a Titre temporairement indisponible à la communication 
320 |a Bibliogr. 55 réf. 
328 0 |b Thèse de doctorat  |c Automatique et informatique appliquée  |e Nantes  |d 1993 
330 |a On présente dans cette thèse une sémantique opérationnelle du langage réactif asynchrone ELECTRE basée sur un système de réécriture conditionnelle par calcul d'attributs synthétises sur la grammaire du langage. On montre que cette sémantique permet de construire un modèle d'exécution fini et déterministe pour tous les programmes du langage. Ce modèle est un système de transitions à file. Enfin, nous donnons des modèles de validation équivalents au modèle d'exécution sur lesquels on peut vérifier des propriétés comportementales par utilisation d'outils d'analyse de systèmes de transitions 
541 | |a Compilation and verification of ELECTRE programs  |z eng 
606 |3 PPN027709922  |a Compilation (informatique)  |2 rameau 
606 |a Réécriture, système de (informatique)  |2 rameau 
608 |3 PPN027253139  |a Thèses et écrits académiques  |2 rameau 
610 1 |a SCIENCES APPLIQUEES : INFORMATIQUE, AUTOMATIQUE THEORIQUE, SYSTEMES 
610 2 |a TRAITEMENT LANGAGE/COMPILATION/REECRITURE/VERIFICATION/LANGAGE REACTIF/CD/SEMANTIQUE OPERATIONNELLE/CD 
610 2 |a LANGUAGE PROCESSING/COMPILATION/REWRITING/VERIFICATION/REACTIVE LANGUAGE/CD/OPERATIONAL SEMANTICS/CD 
686 |a 001.D.02.B.03  |2 tlt 
686 |a 004  |2 TEF 
686 |a 620  |2 TEF 
700 1 |3 PPN066875927  |a Cassez  |b Franck  |4 070 
702 1 |3 PPN060651911  |a Elloy  |b Jean-Pierre  |4 727 
712 0 2 |3 PPN026403447  |a Université de Nantes  |c 1962-2021  |4 295 
801 3 |a FR  |b Abes  |c 20240524  |g AFNOR 
979 |a ECN 
979 |a SCI 
915 |5 441092306:178729701  |a 1142020204  |b 1142020204 
915 |5 441092306:17872971X  |a -318622  |b -318622 
915 |5 441092104:178729728  |a 1160402859  |b 1160402859 
915 |5 441092104:178729736  |a 1160402842  |b 1160402842 
919 |5 441092306:178729701  |a 1142020204 
919 |5 441092306:17872971X  |a -318622 
919 |5 441092104:178729728  |a 1160402859 
919 |5 441092104:178729736  |a 1160402842 
930 |5 441092306:178729701  |b 441092306  |a TH 1444 bis  |j u 
930 |5 441092306:17872971X  |b 441092306  |a TH 1444  |j u 
930 |5 441092104:178729728  |b 441092104  |j g 
930 |5 441092104:178729736  |b 441092104  |j g 
991 |5 441092104:178729728  |a Exemplaire modifié automatiquement le 18-07-2024 18:18 
991 |5 441092104:178729736  |a Exemplaire modifié automatiquement le 18-07-2024 18:18 
998 |a 288792