B-METHOD
\bˈiːmˈɛθəd], \bˈiːmˈɛθəd], \b_ˈiː_m_ˈɛ_θ_ə_d]\
Sort: Oldest first
-
A system for rigorous or formaldevelopment of software using the notion of AbstractMachines to specify and design software systems. TheB-Method is supported by the B-Toolkit.Abstract Machines are specified using the Abstract MachineNotation (AMN) which is in turn based on the mathematicaltheory of Generalised Substitutions.
By Denis Howe