The B Language and Method : A Guide to Practical Formal Development

Kevin Lano

ISBN 10: 3540760334 / ISBN 13: 9783540760337

Editore: Springer London, 1996

Riguardo questo articolo

Druck auf Anfrage Neuware - Printed after ordering - 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.

Codice articolo 9783540760337

Dati bibliografici

• Titolo: The B Language and Method : A Guide to Practical Formal Development
• Editore: Springer London
• Data di pubblicazione: 1996
• Lingua: Inglese
• ISBN 10: 3540760334
• ISBN 13: 9783540760337
• Rilegatura: Taschenbuch
• Condizione: Neu
• Dimensioni: 235 L x 155 A x 14 P (millimetri) 235 millimetri di larghezza per 155 millimetri di altezza per 14 millimetri di profondità
• Peso: 376 grammi

Descrizione articolo

Riassunto

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.

Informazioni sull?autore

Kevin Lano teaches a course on B at Imperial College.