| Titre : | CFIP'91 : Ingénerie des protocoles |
| Auteurs : | O. Rafiq, Auteur |
| Type de document : | texte imprimé |
| Editeur : | Paris : Hermes, 1991 |
| ISBN/ISSN/EAN : | 978-2-86601-283-0 |
| Format : | 577 p. / ill. / 24 cm. |
| Langues: | Français |
| Langues originales: | Français |
| Index. décimale : | 004 (informatique en général) |
| Catégories : | |
| Mots-clés: | CFIP'91 |
| Résumé : |
Le colloque aborde en particulier les problématiques de l'ingénierie des protocoles, qui est une discipline de l'informatique centrée sur la conception et le développement rigoureux des protocoles de communication. Les thèmes principaux abordés lors de cet événement incluent :
La spécification et la description formelle : utilisation de méthodes formelles (mathématiques) pour décrire les protocoles de manière précise, afin de réduire les ambiguïtés et les erreurs de conception. La validation et la vérification : techniques pour s'assurer que les protocoles sont exempts d'erreurs logiques (comme les blocages ou les incohérences) avant leur implémentation. Cela inclut souvent l'utilisation de modèles comme les réseaux de Petri ou les automates d'états finis. L'implémentation et le test : les défis liés à la traduction d'une spécification formelle en un logiciel fonctionnel et les méthodes pour tester le bon fonctionnement de ce logiciel dans un environnement réel. Les applications spécifiques : discussions sur l'application de ces méthodes à des contextes particuliers, tels que les réseaux à haut débit ou les réseaux mobiles, qui nécessitent des protocoles particulièrement robustes et efficaces. |
Exemplaires (1)
| Code-barres | Cote | Support | Localisation | Section | Disponibilité |
|---|---|---|---|---|---|
| Info.A/1585 | 004/494/1 | Livre | BU Centrale Batna 1 | Deuxième étage : Architecture, sciences et technologies | Disponible |
