Introduction to the B Method
In the B Method , 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.
KeywordsDUst Assure Encapsulation Prefix
Unable to display preview. Download preview PDF.