Méthodes formelles pour les systèmes répartis et coopératifs Traité IC2, série Informatique et Systèmes d'Information

Cet ouvrage présente l'utilisation des méthodes formelles pour les systèmes répartis et coopératifs dans un contexte pratique de Génie Logiciel. Ces techniques sont particulièrement intéressantes pour les domaines dits "critiques". En effet, les systèmes répartis critiques nécessitent le recours à des méthodes formelles pour les phases amont et aval du Génie Logiciel. L'objectif de cet ouvrage est de présenter les techniques en pointe dans ce domaine, en particulier pour traiter des systèmes de taille industrielle. Le présent ouvrage vise un public d'étudiants en master 2, de jeunes chercheurs débutant dans le domaine ou des ingénieurs souhaitant disposer d'une vue synthétique sur un domaine en perpétuelle évolution, en particulier pour combattre la complexité due à l'accroissement des systèmes répartis requérant une analyse formelle.

Préface -I. PERSEIL. Chapitre 1. Introduction générale -S. HADDAD, F. KORDON, L. PETRUCCI. MODÈLES ET LANGAGES DE SPÉCIFICATION. Chapitre 2. Panorama des modèles et langages de spécification -L. PETRUCCI. Chapitre 3. Démarches de spécification -Ch. CHOPPY, L. PETRUCCI. Chapitre 4. Modèles temporisés -B. BÉRARD. Chapitre 5. Langages de description d'architecture -P. POIZAT, Th. VERGNAUD. TECHNIQUES DE VÉRIFICATION. Chapitre 6. Panorama de la vérification -S. HADDAD. Chapitre 7. Approches structurelles -K. BARKAOUI, J.-F. PRADAT-PEYRE. Chapitre 8. Vérification efficace de systèmes finis -J.-M. ILIÉ, Y. THIERRY-MIEG, S. BAARIR. Chapitre 9. Vérification de systèmes infinis -F. PESCHANSKI, D. POITRENAUD. APPLICATION AU DÉVELOPPEMENT DE SYSTÈMES RÉPARTIS. Chapitre 10. Panorama sur le développement -F. KORDON. Chapitre 11. Construction d'un intergiciel vérifié -J. HUGUES, F. KORDON, L. PAUTET. Chapitre 12. Interopérabilité et services Web -C. BOUTROUS SAAB, S. HADDAD, V. MONFORT. Chapitre 13. Systèmes répartis adaptatifs à contraintes de temps -G. HUTZLER, H. KLAUDEL. Index .