You are here: irt.org | FOLDOC | 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.
(1995-03-13)
Nearby terms: BMAN « BMASF « BMDP « B-Method » BMF » BMP » bmp
FOLDOC, Topics, 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, ?, ALL