The B-method : an introduction
by
Schneider, S. A. (Steve A.)
Title
:
The B-method : an introduction
Author
:
Schneider, S. A. (Steve A.)
ISBN
:
9780333792841
Personal Author
:
Schneider, S. A. (Steve A.)
Publication Information
:
Basingstoke, [U.K.] : Palgrave, 2001.
Physical Description
:
xiii, 370 p. : ill. ; 25 cm.
Series
:
Cornerstones of computing
Series Title
:
Cornerstones of computing
Contents
:
1. Introducing abstract machines -- 2. Review of set theory and logic -- 3. Weakest preconditions -- 4. Towards machine consistency -- 5. Parameters, ets and constants -- 6. Relations -- 7. Functions and sequences -- 8. Arrays -- 9. Nondeterminism -- 10. Structuring with INCLUDES -- 11. Structuring with SEES and USES -- 12. Data refinement -- 13. Refinement of nondeterminism -- 14. Proof oblications for refinements -- 15. Loops -- 16. Implementation machines -- 17. Case study: heapsort -- 18. Library machines -- Answers to self tests -- Appendix A. Generalised substitution language -- Appendix B. Machine readable AMN.
Abstract
:
This book provides a textbook introduction to the B-Method, a rigorous methodology for the development of correct software, underpinned by powerful state-of-the-art tool support. It covers the B approach to software development from specification through refinement, down to implementation and automatic code generation, with verification at each stage. The book assumes no prior knowledge and is written in a tutorial style, containing numerous illustrative examples, exercises and self-tests with answers. It also comes with a free licence for the B-Toolkit.
Subject Term
:
B method (Computer science)
B method (Computer science) -- Problems, exercises, etc.