Introduction to the B Method

  • Ken A. Robinson
Part of the Formal Approaches to Computing and Information Technology FACIT book series (FACIT)

Abstract

In the B Method [2], subsequently referred to as B, the specification, design — here called refinement — and implementation phases of software development are represented by sets of Abstract Machines. A machine is an encapsulation of a state and a set of operations; the state being determined by a set of variables. The notation for describing Abstract Machines is known as Abstract Machine Notation or AMN.

Keywords

DUst Assure Encapsulation Prefix 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag London 1999

Authors and Affiliations

  • Ken A. Robinson

There are no affiliations available

Personalised recommendations