Introduction aux méthodes formelles (2° Éd.)

Auteur :

Langue : Français

58,00 €

En stock : expédition en 24h !

Ajouter au panierAjouter au panier
Date de parution :
Ouvrage 352 p. · 16x24 cm · Broché
ISBN : 9782746201408 EAN : 9782746201408
Hermes Science
Cet ouvrage présente les bases théoriques de la spécification formelle qui est de plus en plus utilisée dans la conception de systèmes informatiques. Il propose une vue d'ensemble des techniques générales de la spécification, du développement modulaire de logiciel par raffinements progressifs et de la preuve formelle. Il réalise un exposé rigoureux des théories mathématiques sous-jacentes et explique concrètement la mise en oeuvre des techniques sur des outils effectifs. Son contenu a été mis à jour et son organisation complètement remaniée, avec un nouveau chapitre consacré aux systèmes de transitions et à la logique temporelle.
1. Motivations 2. Exercice introductif 3. Présentation des outils logiques 4. Logique de Hoare 5. Logique classique 6. Langages ensemblistes 7. Théorie des ensembles 8. Techniques de spécification de comportements 9. Systèmes de déduction 10. Spécification algébrique 11. Systèmes de types et logiques constructives 12. La théorie des types en pratique Bibliographie - Index