The B Language and Method by Kevin Lano
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.
KEVIN LANO is a Lecturer in the Department of Computer Science, King's College, University of London. He has also taught at Imperial College. JOSE LUIZ FIADEIRO is Professor at the University of Leicester. He has extensive experience in lecturing, and has over 100 published papers. LUIS FILIPE DE ANDRADE is founding partner and President of ATX Software SA, a company at the leading edge of international research and development in the area of co-ordination based software development.
| SKU | Unavailable |
| ISBN 13 | 9783540760337 |
| ISBN 10 | 3540760334 |
| Title | The B Language and Method |
| Author | Kevin Lano |
| Condition | Unavailable |
| Binding Type | Paperback |
| Publisher | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG |
| Year published | 1996-05-14 |
| Number of pages | 232 |
| Cover note | Book picture is for illustrative purposes only, actual binding, cover or edition may vary. |
| Note | Unavailable |