b-method

Random Word
cruet-stand

Other Services | Word Index | Contact Us | About | Links

b-method - listen | domain availability

Dictionary and Thesaurus entries for:

Your search results...

From The Free On-line Dictionary of Computing: (http://www.foldoc.org/, Editor Denis Howe)

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)

Your Search History - clear
b-method |

(bob) - Terms of Service | Linux Man Pages | Geographic Information | ccTLD Information