Parcourir…

Les Sites à connaître

Abonnez-vous au flux RSS des nouveautés Flux RSS

  • Ajouter à NetVibes
  • Ajouter à Yahoo
  • Ajouter à Windows Live

Méthodes formelles pour les systèmes répartis et coopératifs (Traité IC2 série informatique et systèmes d' information)

 
    • eBook [PDF]

      103,00 €
    Formats disponibles →  Format PDF
     
     

    Avis des lecteurs  

     

    Présentation

    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 .

    Supports disponibles

    • eBook [PDF]

      Pdf PDF (Méthodes formelles pour les systèmes répartis et coopératifs (Traité IC2 série informatique et systèmes d' information)), 375 pages
      A télécharger après achat
    • Caractéristiques

    Référencer ce produit sur votre site

    → Copier en mémoire :