VDict - Definition of B-Method

Computing (FOLDOC) dictionary

B-Method

Jump to user comments

programming, tool A system for rigorous or formal

development of software using the notion of AbstractMachines 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.

(1995-03-13)

Related search result for "B-Method"

Words contain "B-Method" in its definition in Computing (FOLDOC) dictionary:
Vienna Development Method class method Requirements Acquisition and Controlled Evolution simplex method Jackson method Vienna Development Method Specification Language CASE*Method Natural Language Information Analysis Method Virtual Telecommunications Access Method Vienna Definition Method more...

Comments and discussion on the word "B-Method"