B-Method A system for rigorous or formal development of software using the notion of s to specify and design software systems. The B-Method is supported by the . Abstract Machines are specified using the Abstract Machine Notation (AMN) which is in turn based on the mathematical theory of s. (1995-03-13)
на заглавную 
к началу страницы