Catalogue des Mémoires de master
Détail de l'auteur
Documents disponibles écrits par cet auteur (2)
Affiner la recherche
| Titre : |
Spécification Maude d‟un Protocole de Réseaux de la Nouvelle Génération |
| Type de document : |
texte imprimé |
| Auteurs : |
Nabila Idiou, Auteur ; Amina Reboudji, Auteur ; Nadia Zeghib, Directeur de thèse |
| Editeur : |
CONSTANTINE [ALGERIE] : Université Frères Mentouri Constantine |
| Année de publication : |
2011 |
| Importance : |
117 f. |
| Format : |
30 cm. |
| Note générale : |
Une copie electronique PDF disponible au BUC. |
| Langues : |
Français (fre) |
| Catégories : |
Informatique
|
| Tags : |
protocole AMRHy, logique de récriture, langage Maude, Real-Time Maude |
| Index. décimale : |
004 Traitement de données. Informatique |
| Résumé : |
Dans ce travail, nous proposons une spécification formelle d'un protocole de transport
multicast fiable actif nommé AMRHy (Active Multicast Reliable Hybrid protocol). Cette
spécification est basée sur la logique de réécriture et son langage Real-Time Maude.
La logique de réécriture est une logique qui permet de spécifier les systèmes concurrents.
En effet, elle constitue un cadre unifié englobant plusieurs modèles formels de la
concurrence. Elle est implémentée par des langages tels que Maude.
Real-Time Maude est une extension du langage Maude. C'est un langage de spécification
formelle en temps réel basé sur la logique de réécriture. Il met l'accent sur la généralité et la
facilité de spécification, particulièrement appropriée pour spécifier les systèmes orientés objet
en temps réel. |
| Diplome : |
Master 2 |
| Permalink : |
https://bu.umc.edu.dz/master/index.php?lvl=notice_display&id=7523 |
Spécification Maude d‟un Protocole de Réseaux de la Nouvelle Génération [texte imprimé] / Nabila Idiou, Auteur ; Amina Reboudji, Auteur ; Nadia Zeghib, Directeur de thèse . - CONSTANTINE [ALGERIE] : Université Frères Mentouri Constantine, 2011 . - 117 f. ; 30 cm. Une copie electronique PDF disponible au BUC. Langues : Français ( fre)
| Catégories : |
Informatique
|
| Tags : |
protocole AMRHy, logique de récriture, langage Maude, Real-Time Maude |
| Index. décimale : |
004 Traitement de données. Informatique |
| Résumé : |
Dans ce travail, nous proposons une spécification formelle d'un protocole de transport
multicast fiable actif nommé AMRHy (Active Multicast Reliable Hybrid protocol). Cette
spécification est basée sur la logique de réécriture et son langage Real-Time Maude.
La logique de réécriture est une logique qui permet de spécifier les systèmes concurrents.
En effet, elle constitue un cadre unifié englobant plusieurs modèles formels de la
concurrence. Elle est implémentée par des langages tels que Maude.
Real-Time Maude est une extension du langage Maude. C'est un langage de spécification
formelle en temps réel basé sur la logique de réécriture. Il met l'accent sur la généralité et la
facilité de spécification, particulièrement appropriée pour spécifier les systèmes orientés objet
en temps réel. |
| Diplome : |
Master 2 |
| Permalink : |
https://bu.umc.edu.dz/master/index.php?lvl=notice_display&id=7523 |
|
Réservation
Réserver ce document
Exemplaires (1)
|
| MSINF110025 | MSINF110025 | Document électronique | Bibliothèque principale | Mémoires | Disponible |
Documents numériques
texte integréAdobe Acrobat PDF | | |
Application des réseau de petri de haut niveau pour la spécification des protocoles de communication / khaoula Saguer
