Specification in B

Specification in B
Author :
Publisher : World Scientific
Total Pages : 264
Release :
ISBN-10 : 1860940080
ISBN-13 : 9781860940088
Rating : 4/5 (088 Downloads)

Book Synopsis Specification in B by : Kevin Lano

Download or read book Specification in B written by Kevin Lano and published by World Scientific. This book was released on 1996 with total page 264 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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 in B Related Books

Specification in B
Language: en
Pages: 264
Authors: Kevin Lano
Categories: Computers
Type: BOOK - Published: 1996 - Publisher: World Scientific

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
Program Specification
Language: en
Pages: 436
Authors: J. Staunstrup
Categories: Computers
Type: BOOK - Published: 1982-04 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Lexical Specification and Insertion
Language: en
Pages: 504
Authors: Peter Coopmans
Categories: Language Arts & Disciplines
Type: BOOK - Published: 2000 - Publisher: John Benjamins Publishing

DOWNLOAD EBOOK

The papers in this volume address the general question what type of lexical specifications we need in a generative grammar and by what principles this informati
Formal Description Techniques and Protocol Specification, Testing and Verification
Language: en
Pages: 462
Authors: Stan Budkowski
Categories: Technology & Engineering
Type: BOOK - Published: 2013-04-17 - Publisher: Springer

DOWNLOAD EBOOK

Formal Description Techniques and Protocol Specification, Testing and Verification addresses formal description techniques (FDTs) applicable to distributed syst
Foundations of Algebraic Specification and Formal Software Development
Language: en
Pages: 594
Authors: Donald Sannella
Categories: Computers
Type: BOOK - Published: 2012-01-05 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book provides foundations for software specification and formal software development from the perspective of work on algebraic specification, concentrating