Résumé

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.

Sommaire

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 .

Caractéristiques

Editeur : Hermes Science

Auteur(s) : Serge HADDAD, Fabrice KORDON, Laure PETRUCCI

Publication : 10 novembre 2006

Edition : 1ère édition

Intérieur : Couleur, Noir & blanc

Support(s) : eBook [PDF], Contenu téléchargeable [PDF], Text (eye-readable) [PDF]

Contenu(s) : PDF

Protection(s) : Marquage social (PDF)

Taille(s) : 3,5 Mo (PDF)

Langue(s) : Français

Code(s) CLIL : 3193, 3069

EAN13 eBook [PDF] : 9782746242333

EAN13 (papier) : 9782746214477

--:-- / --:--