Réalisation de l'outil Mec : spécification fonctionnelle et architecture

par Paul Crubillé

Thèse de doctorat en Informat.

Sous la direction de André Arnold.

Soutenue en 1989

à Bordeaux 1 .

    mots clés mots clés


  • Résumé

    Le systeme mec manipule les systemes de transitions representant des processus. Il execute le produit de synchronisation de arnold-nivat afin de construire les modeles des systemes de processus communicants. Il calcule des ensembles d'etats et des ensembles de transitions dans un systeme de transitions ce qui permet de verifier les proprietes de ce systeme. Il est egalement possible de l'utiliser dans le calcul des operateurs definis par l'utilisateur comme les plus petites solutions de systemes d'equations. L'utilisation d'algorithmes efficaces rend praticable l'evaluation de toutes les fonctions sur des systemes de transitions de grande taille

  • Titre traduit

    The mec software : fonctional description and internals


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 171 p

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Université de Bordeaux. Direction de la Documentation. Bibliothèque Sciences et Techniques.
  • Accessible pour le PEB
  • Bibliothèque : Université de Bordeaux. Direction de la Documentation. Bibliothèque Sciences et Techniques.
  • Non disponible pour le PEB
  • Cote : FTR 89.B-390
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.