Lavoisier S.A.S.
14 rue de Provigny
94236 Cachan cedex
FRANCE

Heures d'ouverture 08h30-12h30/13h30-17h30
Tél.: +33 (0)1 47 40 67 00
Fax: +33 (0)1 47 40 67 02


Url canonique : www.lavoisier.fr/livre/informatique/methodes-formelles-pour-les-systemes-repartis-et-cooperatifs/haddad/descriptif-9782746214477
Url courte ou permalien : www.lavoisier.fr/livre/notice.asp?ouvrage=2138574

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

Langue : Français

Coordonnateurs : HADDAD Serge, KORDON Fabrice, PETRUCCI Laure

Couverture de l’ouvrage Méthodes formelles pour les systèmes répartis et coopératifs
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 .

Date de parution :

Ouvrage de 346 p.

15.4x23.6 cm

En stock : expédition en 24h !

103,00 €

Ajouter au panier
PDF 103,00 €
Télécharger

Thèmes de Méthodes formelles pour les systèmes répartis et... :

En continuant à naviguer, vous autorisez Lavoisier à déposer des cookies à des fins de mesure d'audience. Pour en savoir plus et paramétrer les cookies, rendez-vous sur la page Confidentialité & Sécurité.
FERMER