- The B Method: An Introduction
S. Schneider, Palgrave, ISBN 0-333-79284-X, 384 pages
A textbook introduction to the B-method, covering all stages of the
B software development proess - from specification, through refinement
and design, down to implementation and automatic code generation:
- 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
Associated teaching materials are available at www.palgrave.com/resources.
An extended evaluation licence is available to purchasers of this book.
- Software Engineering with B
J. Wordsworth, Addison Wesley Longman, ISBN 0-201-40356-0, 352 pages
Balanced coverage of the B-Method covering the whole software
life-cycle from specification through to the production of programs
using the B-Toolkit. Uses many tutorial examples to show how the
method can be applied to real-world software engineering.
Accompanying disks provides the source text of the examples in
the book for use with the B-Toolkit.
A Demonstration version of the B-Toolkit is available with extensive
worked examples from this book
- The B-Book - Assigning Programs to Meanings
J-R Abrial, Cambridge University Press, ISBN 0-521-49619-5, 926 pages
Reference book on the mathematical foundations of the B-Method and
AMN by its inventor.
- Specification in B: an Introduction using the B-Toolkit
K. Lano, H Haughton, Imperial College Press, ISBN 1-86094-008-0
(paperback: 1-86094-018-8), 250 pages
Practical introduction to the B-Method and AMN through the B-Toolkit;
suitable for both undergraduate and postgraduate practitioners. Covers
all life-cycle stages including animation, proof, design and code
generation. Two large case studies are provided.
- The B Language and Method - a guide
to practical formal development
K. Lano, Springer-Verlag, ISBN 3-540-76033-4, 236 pages
A comprehensive introduction to AMN, and how it can be used to
support formal specification and development of high integrity
systems.
