L'événement

CAMUS BRIGITTE

DICTIONNAIRE IMPERTINENT DE L'ART

.

DICTIONNAIRE IMPERTINENT DE L'ART




 


email ou code client :
mot de passe :
* Oublié ?

Première visite ?
Demander un devis
Créer un compte
Frais de port
à 1 euros
pour les particuliers
à partir de 50 euros
(France métropolitaine uniquement)

Ajouter cet article au panier

Nbre d'exemplaires:

B BOOK

Titre :

B BOOK

Caractéristiques :


Auteur(s) :ABRIAL
Editeur :CAMBRIDGE UNIVERSITY PRESS
Parution :10/1996
Langue :Anglais Anglais
Nbre de pages :779
ISBN :978-0-521-49619-3
Reliure :Hardcover
Prix :105.00 € ttc
Disponibilité :Livraison sous 2 à 10 jours ouvrables.

Couverture :


B BOOK

Résumé :

The B method is a means for specifying, designing and coding software systems. The long-awaited B
Book is the standard reference for everything concerning this method. It contains the mathematical basis on
which it is founded, the precise definitions of the notations used, and a large number of examples illustrating
its use in practice. J.-R. Abrial, the inventor of B, has written the book in such a way that it can be used for
self-study or for reference. It is in four parts, the first dealing with the mathematical foundations, including a
systematic construction of predicate logic and set theory, and the definition of the various mathematical
structures that are needed to formalize software systems; the author places special emphasis on the notion of
proof. The second part contains a presentation of the Generalized Substitution Language and of the Abstract
Machine Notation, which are both used to specify software systems; the author gives examples to show how
large specifications can be constructed systematically. The next part introduces the two basic programming
features of sequencing and loop, with examples showing how to construct small algorithms. The last part
covers the very important notion of refinement. It shows how to construct large software systems by means
of layered architectures of modules. It culminates with the presentation of several examples of complete
development with a special emphasis on the methodological approach. Finally, appendices give summaries
of all the logical and mathematical definitions, and of all the rules and proof obligations. With the appearance
of The B Book, formal methods practitioners, computer scientists, and systems developers at last will have
access to the definitive account of what will become one of the standard approaches to the construction of
software systems.

Contents: Tribute/ Foreword/ Introduction/ PART I. MATHEMATICS/ 1. Mathematical reasoning/ 2. Set
notation/ 3. Mathematical objects/ PART II. ABSTRACT MACHINES/ 4. Introduction to abstract
machines/ 5. Formal definition of abstract machines/ 6. Theory of abstract machines/ 7. Constructing large
abstract machines/ 8. Examples of abstract machines/ PART III. PROGRAMMING/ 9. Sequencing and
loop/ 10. Programming examples/ PART IV. REFINEMENT/ 11. Refinement/ 12. Constructing large
software systems/ 13. Examples of refinement/ Appendix A: Summary of the most current notations/
Appendix B: Syntax/ Appendix C: Definitions/ Appendix D: Visibility rules/ Appendix E: Rules and axioms/
Appendix F: Proof obligations

Table des matières :

Tribute
Foreword
Introduction
Part I. Mathematics: 1. Mathematical reasoning
2. Set notation
3. Mathematical objects
Part II. Abstract Machines: 4. Introduction to abstract machines
5. Formal definition of abstract machines
6. Theory of abstract machines
7. Constructing large abstract machines
8. Examples of abstract machines
Part III. Programming: 9. Sequencing and loop
10. Programming examples
Part IV. Refinement: 11. Refinement
12. Constructing large software systems
13. Examples of refinement
Appendixes
Index.

Ajouter cet article au panier

Nbre d'exemplaires: