Titre : |
Validation d'un protocole de communication |
Type de document : |
texte imprimé |
Auteurs : |
Sedrati, Maâmar, Auteur ; Bettaz, Mohamed, Directeur de thèse |
Editeur : |
[S.l.] : [s.n.] |
Année de publication : |
1985 |
Importance : |
34 f. |
Présentation : |
ill. |
Format : |
27 cm. |
Note générale : |
Mémoire de Projet de Fin d’Études : Informatique : Constantine, Université de Constantine: 1985
Ancienne côte: PI00185
Annexe [23] f. Bibliogr. [1] f |
Langues : |
Français (fre) |
Mots-clés : |
Validation
Protocole
Communication
Hiérarchie |
Index. décimale : |
PF00185 |
Résumé : |
La description d'un protocole se fait d'une façon informelle puis formelle qui fera l'objet d'un langage de spécification, le faire fonctionner c'est à dire l'implémenter ou d'une façon précise définir un langage d'implémentation et finalement vérifier si une telle implémentation répond bien aux objectifs souhaités par la spécification et que le protocole opère à la satisfaction de ses utilisateurs. |
Validation d'un protocole de communication [texte imprimé] / Sedrati, Maâmar, Auteur ; Bettaz, Mohamed, Directeur de thèse . - [S.l.] : [s.n.], 1985 . - 34 f. : ill. ; 27 cm. Mémoire de Projet de Fin d’Études : Informatique : Constantine, Université de Constantine: 1985
Ancienne côte: PI00185
Annexe [23] f. Bibliogr. [1] f Langues : Français ( fre)
Mots-clés : |
Validation
Protocole
Communication
Hiérarchie |
Index. décimale : |
PF00185 |
Résumé : |
La description d'un protocole se fait d'une façon informelle puis formelle qui fera l'objet d'un langage de spécification, le faire fonctionner c'est à dire l'implémenter ou d'une façon précise définir un langage d'implémentation et finalement vérifier si une telle implémentation répond bien aux objectifs souhaités par la spécification et que le protocole opère à la satisfaction de ses utilisateurs. |
|