|
|
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.
| ISBN | 0077090144 | | Pages | 288 | | ISBN13 | 9780077090142
(What's this?) | | Published in | London | | Publisher | McGraw-Hill Education - Europe | | Series title | The McGraw-Hill international series in software engineering | | Imprint | McGraw-Hill Publishing Co. | | Height (mm) | 247 | | Format | Paperback | | Width (mm) | 174 | | Publication date | 01 Feb 1995 | | Academic level | Postgraduate, Professional / Scholarly | | Library of Congress | QA76.758.H | |
|
| |
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.
|
|
|
|
|
Enlarge
