The B Language and Method: A Guide to Practical Formal Development
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.
1111733985
The B Language and Method: A Guide to Practical Formal Development
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.
54.99
In Stock
5
1
The B Language and Method: A Guide to Practical Formal Development
232
The B Language and Method: A Guide to Practical Formal Development
232Paperback(Softcover reprint of the original 1st ed. 1996)
$54.99
54.99
In Stock
Product Details
| ISBN-13: | 9783540760337 |
|---|---|
| Publisher: | Springer London |
| Publication date: | 05/14/1996 |
| Series: | Formal Approaches to Computing and Information Technology (FACIT) |
| Edition description: | Softcover reprint of the original 1st ed. 1996 |
| Pages: | 232 |
| Product dimensions: | 6.10(w) x 9.25(h) x 0.02(d) |
From the B&N Reads Blog