Word:

B-Method

(programming, tool)B-Method - 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.
Browse
B vitamin
B-0
B-52
B-CDMA
B-complex vitamin
B-flat clarinet
B-girl
B-HLI
B-horizon
B-ICI
B-ISDN
B-ISSI
B-ISUP
B-LINE
B-LLI
b-meson
-- B-Method --
B-NT
B-TE
B-Toolkit
B-tree
B. B. King
B. F. Skinner
B.C.
B.O.
B.T.U.
B.Th.U.
B1 security
B1FF
B2 security
B2B
B2C
B3 security
Definitions Index: # A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

About this site and copyright information - Online Dictionary Home