Specification In B: An Introduction Using The B Toolkit - Hardcover

Haughton, Howard (J P Morgan Corp, London, Uk); Lano, Kevin (.)

Hardcover

ISBN 10: 1860940080 ISBN 13: 9781860940088

Verlag: Imperial College Press, 1996

Inhaltsangabe

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.

Details zur Ausgabe

• Verlag: Imperial College Press
• Erscheinungsdatum: 1996
• Sprache: Englisch
• ISBN 10: 1860940080
• ISBN 13: 9781860940088
• Einband: Gebundene Ausgabe
• Anzahl der Seiten: 252
• Kontakt zum Hersteller: Nicht verfügbar
• Verantwortliche Person: Nicht verfügbar