The B Language and Method

This volume provides a comprehensive introduction to the B Abstract Machine Notation, and to how it can be used to support formal specification and development of high integrity systems.

The B Language and Method

B is one of the few formal methods which has robust, commercially-available tool support for the entire development lifecycle from specification through to code generation. This volume provides a comprehensive introduction to the B Abstract Machine Notation, and to how it can be used to support formal specification and development of high integrity systems. A strong emphasis is placed on the use of B in the context of existing software development methods, including object-oriented analysis and design. The text includes a large number of worked examples, graduated exercises in B AMN specification and development (all of which have been class-tested), two extended case studies of the development process, and an appendix of proof techniques suitable for B. Based on material which has been used to teach B at postgraduate and undergraduate level, this volume will provide invaluable reading a wide range of people, including students, project technical managers and workers, and researchers with an interest in methods integration and B semantics.

More Books:

The B Language and Method
Language: en
Pages: 232
Authors: Kevin Lano
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

B is one of the few formal methods which has robust, commercially-available tool support for the entire development lifecycle from specification through to code generation. This volume provides a comprehensive introduction to the B Abstract Machine Notation, and to how it can be used to support formal specification and development
The B Language and Method
Language: en
Pages:
Authors: SPRINGER, K. Lano
Categories: Computers
Type: BOOK - Published: 1996-04-01 - Publisher:

Books about The B Language and Method
B'98: Recent Advances in the Development and Use of the B Method
Language: en
Pages: 311
Authors: Bert Didier
Categories: Computers
Type: BOOK - Published: 1998-04-08 - Publisher: Springer Science & Business Media

This book presents the refereed proceedings of the Second International B Conference, B'98, held in Montpellier, France, in April 1998. The book presents 15 revised full papers selected from 29 submissions as well as four invited contributions. The B method is enjoying rapidly increasing popularity for the specification and design
Logics of Specification Languages
Language: en
Pages: 624
Authors: Dines Bjørner, Martin C. Henson
Categories: Mathematics
Type: BOOK - Published: 2007-12-05 - Publisher: Springer Science & Business Media

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.
Formal Methods and Software Engineering
Language: en
Pages: 636
Authors: Chris George, Huaikou Miao
Categories: Computers
Type: BOOK - Published: 2002-10-09 - Publisher: Springer Science & Business Media

This book constitutes the refereed proceedings of the 4th International Conference on Formal Engineering methods, ICFEM 2002, held in Shanghai, China, in October 2002. The 43 revised full papers and 16 revised short papers presented together with 5 invited contributions were carefully reviewed and selected from a total of 108