LoveReading

Becoming a member of the LoveReading community is free.

No catches, no fine print just unadulterated book loving, with your favourite books saved to your own digital bookshelf.

New members get entered into our monthly draw to win £100 to spend in your local bookshop Plus lots lots more…

Find out more

The B-Method

by Steve Schneider

Part of the Cornerstones of Computing Series

The B-Method Synopsis

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 Press 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

Book Information

ISBN: 9780333792841
Publication date: 19th October 2001
Author: Steve Schneider
Publisher: Red Globe Press an imprint of Macmillan Education UK
Format: Paperback / softback
Pagination: 384 pages
Categories: Software Engineering,

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.

More About Steve Schneider

( ! ) Notice: Undefined index: group_operator in /home/sites/www.lovereading.co.uk/www/core/dbquery.class.php on line 256
Call Stack
#TimeMemoryFunctionLocation
10.0003390160{main}( ).../index.php:0
20.07473841496require_once( '/home/sites/www.lovereading.co.uk/www/content/templates/lovereading/book.php' ).../index.php:131
30.18793853600Books->get_books_by_author( ).../book.php:293
40.18793854432Books->get_books_new( ).../books.class.php:229
50.18793855288get_multiple_rows( ).../books.class.php:97
60.18803855288dbQuery->get_multiple( ).../functions.php:74
ERROR: SQLSTATE[42000]: Syntax error or access violation: 1064 You have an error in your SQL syntax; check the manual that corresponds to your MySQL server version for the right syntax to use near 'AN ORDER BY PubDate DESC LIMIT 3' at line 1 QUERY: SELECT BookID, AuthorID FROM Book b WHERE b.Enabled=? AN ORDER BY PubDate DESC LIMIT 3

Share this book