Lecturers' zone
Students' zone
About the book
About the author

Resources
Note from the author
Source files
B-Core
Links
Sample pages

For lecturers
For students

Contact us
Join our email lists

Computing & IT | Order The B-Method: An Introduction

The B-Method: An Introduction - by Steve Schneider

Note from the author

The material provided on this website provides source material for students to support the Cornerstones book on the B-Method. In my experience, the most effective way to learn the B-Method is by using the tool support as early as possible. A fixed-term licence for the linux B-Toolkit from B-Core is available for purchasers of this book, for private use, and a link is provided to the B-Core website which provides the tool and the licence. Follow the link to `Evaluation Licences'. Links to other relevant sites are also provided.

The source code for all of the examples and exercises appearing in the book is also provided. You are encouraged to download these and explore them in conjunction with working through the book.

Steve Schneider

Contents

• Source files of all the examples in the book
• A link to the B-Core web site, where you can obtain a free fixed-term licence for the linux B-Toolkit from B-Core for private use
• Links to relevant sites for further information and reading
• Sample pages from the book

Source files

For source files of all the book’s examples, click here.

B-Core

Founded in 1993, B-Core (UK) are the owners and developers of the B-Toolkit, its specification, its design and its notations. The toolkit provides complete support for the B-Method of software construction. The licence for the B-Toolkit which accompanies the book can be obtained from the ‘evaluation licences’ selection on the B-Core website at www.b-core.com. Make sure that you have your copy of the book to hand when completing the on-line request for the licence.

Links

You may like to follow these links for further information and reading on the B-Method:

Steve Schneider’s site: www.cs.rhul.ac.uk/research/formal/steve.html

B-Core: www.b-core.com

Steria – Atelier B: www.atelierb.societe.com/index_uk.html

Oxford B archive: http://archive.comlab.ox.ac.uk/formal-methods/b.html

Grenoble B Site: http://www-lsr.imag.fr/B/

Sample pages

Click here to access a PDF of a sample chapter

If you do not have this book, please take a look at these sample pages. The Table of Contents and Index have been included to give you an idea of which topic areas are covered. To buy a copy click here.