Description
Book Synopsis
The long-awaited B-Book is the standard reference for everything concerning the B Method, written by its inventor, J.-R. Abrial. 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.
Trade Review
'With the appearance of The B-Book … computer scientists, and system 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.' Zentralblatt MATH
'It will act as the reference book for many involved in the application of the B-Method … The B-Book provides a comprehensive reference for the B approach to specifying, designing and coding software systems.' Jonathan Bowen, The Times Higher Education Supplement
Table of 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; Appendixes; Index.
