Hyper Dictionary

English Dictionary Computer Dictionary Video Dictionary Thesaurus Dream Dictionary Medical Dictionary


Search Dictionary:  

Meaning of B-METHOD

 
Computing Dictionary
 
 Definition: 

A system for rigorous or formal development of software using the notion of 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.

 

 

COPYRIGHT © 2000-2013 HYPERDICTIONARY.COM HOME | ABOUT HYPERDICTIONARY