development of software using the notion of [[Computer Dictionary/Abstract Machines|Abstract Machines]] to specify and design software systems. The B-Method is supported by the B-Toolkit.
Abstract Machines are specified using the Abstract Machine Notation (AMN) which is in turn based on the mathematical theory of Generalised Substitutions.
Discussion about "Computer Dictionary/B-Method":
None Discussion Now.