VDict mobile
Dictionary - Translation



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)
© Vdict mobile
Switch to smart phone version   |   Switch to PC version