Specification in B: An Introduction Using the B Toolkit (Paperback) (ISBN-13: 9781860940187)

This book gives a practical introduction to the B specification language and method, an approach to the development of high-quality software using rigorous CASE techniques.It is suitable for both undergraduate and postgraduate courses, in addition to being an introduction for industrial practitioners. Extensive examples of all development life-cycle stages are given, including animation, proof, design and code generation in C. Two large case studies and exercises with solutions are provided.The authors have extensive experience in teaching B and in its industrial application to high integrity systems. The book uses the B Toolkit to support the text, but it is also relevant to users of alternative toolsets for B.

Author: Howard Haughton,Kevin Lano
ISBN-10: 1860940188
ISBN-13: 9781860940187
Publisher: Imperial College Press
Language: English
Published: 04/01/1996
Pages: 252
Format: Paperback
Weight: 0.83lbs
Size: 8.40h x 6.00w x 0.60d