The B-method : an introduction

Select an Action

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.

Copies:

Available:*

Library	Material Type	Item Barcode	Shelf Number	Copy	Status
Searching... 1:IIEMSA	1:GEN-BOOK	33168023673631	005.1 S359B 2001	1	Searching... Unknown

Bound With These Titles

On Order

Summary

This book provides a textbook introduction to the B-Method, a rigorous methodology for the development of correct software. The text covers all stages of the B software development process - from specification, through refinement and design, down to implementation and automatic code generation. The method uses a single uniform notation throughout development, designed to enable verification at each stage whilst placing particular emphasis on correctness.· Suitable for undergraduate and postgraduate courses on formal methods and software development· Written in a clear tutorial style of explanation · Contains numerous illustrative examples, exercises and self-testing questions with solutions throughout· Relevant to users of any B-Method CASE tool· Teaching materials available onlineThe B-Method : An Introduction also offers readers powerful tool support by providing a free licence for the B-Toolkit - an integrated toolset which supports and extends the entire B development lifecycle.