The B Language and Method: A Guide to Practical Formal Development (Formal Approaches to Computing and Information Technology (FACIT)) - Softcover

Lano, Kevin

Softcover

ISBN 10: 3540760334 ISBN 13: 9783540760337

Verlag: Springer-Verlag, 1996

Inhaltsangabe

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.

Über diesen Titel

Über die Autorin bzw. den Autor

Dr. Kevin Lano is Reader in Software Engineering, Department of Informatics, King's College London, UK. Dr. Sobhan Yassipour Tehrani is a Lecturer, Department of Computer Science, University College London, UK.

Details zur Ausgabe

• Verlag: Springer-Verlag
• Erscheinungsdatum: 1996
• Sprache: Englisch
• ISBN 10: 3540760334
• ISBN 13: 9783540760337
• Einband: Taschenbuch
• Anzahl der Seiten: 244
• Kontakt zum Hersteller: ProductSafety@springernature.com; ProductSafety@springernature.com; ; Poststr. 9; Darmstadt; 64293; Deutschland