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
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.
|Publication date:||19th October 2001|
|Publisher:||Red Globe Press an imprint of Macmillan Education UK|
|Format:||Paperback / softback|
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|
|2||0.0747||3841496||require_once( '/home/sites/www.lovereading.co.uk/www/content/templates/lovereading/book.php' )||.../index.php:131|