Specification in B

Specification in B

An Introduction Using the B Toolkit

eBook - 1996
Rate this:
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.
Publisher: London : Imperial College Press ; Singapore ; River Edge, NJ : Distributed by World Scientific Pub., ©1996
ISBN: 9781848161061
1848161069
9781860940187
1860940188
9781860940088
1860940080
Characteristics: 1 online resource (xi, 242 pages) : illustrations
Additional Contributors: Haughton, H.

Opinion

From the critics


Community Activity

Comment

Add a Comment

There are no comments for this title yet.

Age Suitability

Add Age Suitability

There are no age suitabilities for this title yet.

Summary

Add a Summary

There are no summaries for this title yet.

Notices

Add Notices

There are no notices for this title yet.

Quotes

Add a Quote

There are no quotes for this title yet.

Explore Further

Recommendations

Subject Headings

  Loading...

Find it at SPL

  Loading...
[]
[]
To Top