The B-method (Cornerstones of Computing)

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. This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 033379284X
• ISBN13: 9780333792841
• Release Date: October 2001
• Publisher: Red Globe Press
• Length: 384 Pages