Skip to main content
SpringerLink
Log in
Book cover

The B Language and Method

A Guide to Practical Formal Development

  • Textbook
  • © 1996

Overview

Authors:
  1. Kevin Lano

    1. Department of Computing, Imperial College of Science, Technology and Medicine, London, UK

    View author publications

    You can also search for this author in PubMed   Google Scholar

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (6 chapters)

  1. Front Matter

    Pages i-viii
    Download chapter PDF

  2. Introduction

    • Kevin Lano
    Pages 1-14

  3. The Foundations of B AMN

    • Kevin Lano
    Pages 15-76

  4. Analysis and Specification

    • Kevin Lano
    Pages 77-123

  5. Design and Implementation

    • Kevin Lano
    Pages 124-156

  6. Case Studies

    • Kevin Lano
    Pages 157-194

  7. Conclusions

    • Kevin Lano
    Pages 195-202

  8. Back Matter

    Pages 203-232
    Download chapter PDF
Back to top

Keywords

About this book

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.

Authors and Affiliations

  • Department of Computing, Imperial College of Science, Technology and Medicine, London, UK

    Kevin Lano

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation