Compilation et vérification des programmes ELECTRE

par Franck Cassez

Thèse de doctorat en Automatique et informatique appliquée

Sous la direction de Jean-Pierre Elloy.

Soutenue en 1993

à École centrale de Nantes .


  • Résumé

    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

  • Titre traduit

    Compilation and verification of ELECTRE programs


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (132 p.)
  • Annexes : Bibliogr. 55 réf.

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Ecole centrale de Nantes. Médiathèque.
  • Disponible pour le PEB
  • Cote : TH 1444 bis
  • Bibliothèque : Ecole centrale de Nantes. Médiathèque.
  • Disponible pour le PEB
  • Cote : TH 1444
  • Bibliothèque : Nantes Université. Service commun de la documentation. BU Sciences.
  • Disponible pour le PEB
  • Bibliothèque : Nantes Université. Service commun de la documentation. BU Sciences.
  • Disponible pour le PEB
  • Bibliothèque : CentraleSupélec. bibliothèque.
  • Disponible pour le PEB
  • Cote : E7 56771 Algo/Trait

Cette version existe également sous forme de microfiche :

  • Bibliothèque : Université Grenoble Alpes (Saint-Martin d'Hères, Isère). Bibliothèque et Appui à la Science Ouverte. Bibliothèque universitaire Joseph-Fourier.
  • Non disponible pour le PEB
  • Cote : MF-1993-CAS
  • Bibliothèque : Université Paris-Est Créteil Val de Marne. Service commun de la documentation. Section multidisciplinaire.
  • PEB soumis à condition
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.