The B Language and Method by Kevin Lano

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
Series	Formal Approaches To Computing And Information Technology
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.