Veuillez choisir le dossier dans lequel vous souhaitez ajouter ce contenu :
Filtrer les résultats
Colloque
Dans cette communication, on présente une nouvelle méthode pour la synthèse automatique d'un protocole de communication à partir d'une description formelle du service que le protocole doit rendre aux usagers supposés distribués. Le protocole est décrit par une machine à états finis (MEF). La méthode consiste de trois étapes: a) Le projet de la machine (S-MEF) est obtenu sur chacune des locations des usagers du service par les machines SP-MEF. b) On déduit les machines de contrôle des transitions pour chacune des entités dans les machines SP-MEF. c) On applique deux algorithmes pour la réduction des machines résultantes de l'étape …
Colloque
La représentation organisée des Programmes et Algorithmes est une nouvelle approche technique conçue par T.I. Oren pour la documentation structurée des Programmes, se basant essentiellement sur la visualisation de toutes les structures du Programme à documenter. Une série de logiciels a été déjà implémentée et contient des outils pour la représentation Organisée des Programmes en ADA, PASCAL, FORTRAN, WATFIV et GFST. Celui de l'ADA est implémenté par K. Saleh. L'ADA, un langage génu, parfaitement structuré et riche de nouveaux supports techniques (parallélisme, abstraction, packages,...) est un bon exemple d'étude afin de démontrer les avantages de la Représentation Organisée : une …
