0%

b-method

B b

Transcription

    • US Pronunciation
    • US IPA
    • US Pronunciation
    • US IPA

Definition of b-method word

  • noun Technical meaning of b-method (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. 1

Information block about the term

Parts of speech for B-method

noun
adjective
verb
adverb
pronoun
preposition
conjunction
determiner
exclamation

See also

Matching words

Was this page helpful?
Yes No
Thank you for your feedback! Tell your friends about this page
Tell us why?