Méthodes formelles pour les systèmes répartis et coopératifs (Traité IC2 série informatique et systèmes d
375 pages
Français
Obtenez un accès à la bibliothèque pour le consulter en ligne
En savoir plus

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

-

Obtenez un accès à la bibliothèque pour le consulter en ligne
En savoir plus
375 pages
Français

Description

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 .

Sujets

Informations

Publié par
Date de parution 10 novembre 2006
Nombre de lectures 104
EAN13 9782746242333
Licence : Tous droits réservés
Langue Français

Informations légales : prix de location à la page 0,0772€. Cette information est donnée uniquement à titre indicatif conformément à la législation en vigueur.

Exrait

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.
  • Accueil Accueil
  • Univers Univers
  • Ebooks Ebooks
  • Livres audio Livres audio
  • Presse Presse
  • BD BD
  • Documents Documents