b-method meaning

<programming, tool> 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.
  • method:    Noun: method  ...
  • a&b:    abbrev   ...
  • a.b.:    abbreviation)(Am.) ...

Related Words

  1. b-lymphocyte subsets meaning
  2. b-lymphocyte,heavy chain gene rearrangement meaning
  3. b-lymphocyte,light chain gene rearrangement meaning
  4. b-lymphocytes meaning
  5. b-meson meaning
  6. b-minus meaning
  7. b-negative meaning
  8. b-register meaning
  9. b-scan ultrasonography meaning
  10. b-school meaning
PC Version