Specification in B
Specification in B

Author: Kevin Lano

Publisher: World Scientific

Published: 1996

Total Pages: 264

ISBN-13: 9781860940088

DOWNLOAD EBOOK

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.

Specification Writing and Management
Specification Writing and Management

Author: Max Mcrobb

Publisher: CRC Press

Published: 2020-07-24

Total Pages: 204

ISBN-13: 1000147398

DOWNLOAD EBOOK

This book deals with the fundamentals of specification writing and management. It is useful for anyone concerned with the preparation of standards in a world that is shrinking due to improvement in communication and where many specifications have to hold clarity when translated into other languages.

Logics of Specification Languages
Logics of Specification Languages

Author: Dines Bjørner

Publisher: Springer Science & Business Media

Published: 2007-12-05

Total Pages: 624

ISBN-13: 3540741070

DOWNLOAD EBOOK

This book presents comprehensive studies on nine specification languages and their logics of reasoning. The editors and authors are authorities on these specification languages and their application. In a unique feature, the book closes with short commentaries on the specification languages written by researchers closely associated with their original development. The book contains extensive references and pointers to future developments.