My Account
Log in Registration
All
Cart
Highlights
Fiction Books
Non-Fiction Books
Children's Books
Rare Books
Music
DVD & Blu-Ray
Video Games
Category
Wishlists
Cart
All
Free US shipping over $10
Trustpilot
Proud to be B-Corp

The B-Method Steve Schneider

The B-Method By Steve Schneider

The B-Method by Steve Schneider

Reviews:
$10.69
Condition - Like New
Only 1 left
Like NewVery Good

Summary

This is 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 assumes no prior knowledge and is written in a tutorial style.

The B-Method Summary

The B-Method by Steve Schneider

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.

The B-Method 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

About Steve Schneider

STEVE SCHNEIDER is Professor of Computing in the Department of Computing, University of Surrey, UK. He has taught the B-method at undergraduate and postgraduate level over a number of years, and has published papers on B at international formal methods conferences and workshops.

Table of Contents

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.

Additional information

GOR013322544
9780333792841
033379284X
The B-Method by Steve Schneider
Steve Schneider
Cornerstones of Computing
Used - Like New
Paperback
Palgrave Macmillan
20011019
384
N/A
Book picture is for illustrative purposes only, actual binding, cover or edition may vary.
The book has been read, but looks new. The book cover has no visible wear, and the dust jacket is included if applicable. No missing or damaged pages, no tears, possible very minimal creasing, no underlining or highlighting of text, and no writing in the margins

Customer Reviews - The B-Method