Introduction to the B Abstract Machine Notation
Book
Paperback/Softback
288 pages
978-0-07-709014-2 (ISBN)
Description
The B-Method, or B-Abstract Machine Notation, is a formal method that has commercially viable tool support (the B-Tool). This text provides a reference to the application of the B-Tool by software developers. The coverage is related throughout to current methods such as Z and VDM.
More details
Series
Language
English
Place of publication
London
United Kingdom
Publishing group
McGraw-Hill Education - Europe
Target group
College/higher education
Professional and scholarly
Illustrations
glossary
Dimensions
Height: 247 mm
Width: 174 mm
ISBN-13
978-0-07-709014-2 (9780077090142)
Copyright in bibliographic data is held by Nielsen Book Services Limited or its licensors: all rights reserved.
Schweitzer Classification
Persons
Content
Introduction to B Abstract Machine Notation; an exemplified exposition of AMN; abstract machines and internal consistency; structuring mechanisms and conceptual analysis; examples of AM systems specification; refinement and implementation of abstract machines; applications; mechanisms for the discharging of proof obligations; avoiding complex proofs by simplifying specifications; the use of library machines in B developments; case study; translating AM IMPLEMENTATION into imperative code; application of safety analysis techniques to B developments. Conclusions: glossary of mathematical notation and AMN; factors influencing the production of B developments; comparative analysis of Z and AMN; relationship between object-oriented and AMN; automatic generation of relational databases using base machines.