+612 9045 4394
The B-Method : Cornerstones of Computing - Steve Schneider

The B-Method

Cornerstones of Computing

Paperback Published: 19th October 2001
ISBN: 9780333792841
Number Of Pages: 384

Share This Book:


RRP $150.95
or 4 easy payments of $33.06 with Learn more
Ships in 7 to 10 business days

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 online

The 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.

Industry Reviews

'For a typically structured UK third year, one-semester undergraduate course, Steve Schneider's book with its supporting material offers a product that a lecturer can simply take out of the box and use directly. The completeness and thoroughness of coverage are very impressive, and the clarity of the exposition is exceptional. This book could go a long way towards making the B-Method more accessible to a wider range of computer science students than has been the case hitherto, and I can recommend it with enthusiasm.' - Richard Banach, Manchester University, The Journal of Software Testing, Verification and Reliability

Preface Introducing Abstract Machines Review of Set Theory and Logic Weakest Preconditions Towards Machine Consistency Parameters, Sets and Constants Relations Functions and Sequences Arrays Nondeterminism Structuring with INCLUDES Structuring with SEES and USES Data Refinement Refinement of Nondetermnism Proof Obligations for Refinements Loops Implementation Machines Case Study: Heapsort Library Machines Answers to SelfTests Appendix A: Generalised Substitution Language Appendix B: Machine Readable AMN Index Index of Machines

ISBN: 9780333792841
ISBN-10: 033379284X
Series: Cornerstones of Computing
Audience: Tertiary; University or College
Format: Paperback
Language: English
Number Of Pages: 384
Published: 19th October 2001
Country of Publication: GB
Dimensions (cm): 24.9 x 19.4  x 2.0
Weight (kg): 0.76
Edition Number: 1