The B-method (Cornerstones of Computing) by Steve Schneider

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

Paperback

First published October 1, 2001

Reviews

[Qurat-Ul-Ain]

it help me to understanding the b method.Awesome

[Maraim Elbadri · Rating 1 out of 5]

This book aims to introduce a new language used to writing specification. However it was not good organised.