- We will send in 10–14 business days.
/images/books/13161710/9783540760337.jpg)
- Author: Kevin Lano
- Publisher: Springer
- Year: 1996
- Pages: 232
- ISBN-10: 3540760334
- ISBN-13: 9783540760337
- Format: 15.6 x 23.4 x 1.3 cm, minkšti viršeliai
- Language: English
- SAVE -10% with code: EXTRA
Reviews
Description
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.
EXTRA 10 % discount with code: EXTRA
The promotion ends in 21d.15:02:45
The discount code is valid when purchasing from 10 €. Discounts do not stack.
- Author: Kevin Lano
- Publisher: Springer
- Year: 1996
- Pages: 232
- ISBN-10: 3540760334
- ISBN-13: 9783540760337
- Format: 15.6 x 23.4 x 1.3 cm, minkšti viršeliai
- Language: English English
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.
Reviews