×

Uh-oh, it looks like your Internet Explorer is out of date.

For a better shopping experience, please upgrade now.

Specification in B: An Introduction Using the B Toolkit
     

Specification in B: An Introduction Using the B Toolkit

by Howard Haughton, Kevin Lano
 

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

Overview

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.

Product Details

ISBN-13:
9781860940187
Publisher:
Imperial College Press
Publication date:
04/03/1996
Pages:
252
Product dimensions:
6.00(w) x 8.40(h) x 0.60(d)

Customer Reviews

Average Review:

Post to your social network

     

Most Helpful Customer Reviews

See all customer reviews