B-toolkit
b-toolkit
tool, programming, product
A set of software tools designed to support a rigorous or formal development of software systems using the B-Method.
The Toolkit also provides a development environment automating the management of all associated files, ensuring that the entire development, including code and documentation, is always in a consistent state.
The Toolkit includes: a specification, design and code configuration management system, including integrity and dependency management and source file editing facilities; a set of software specification and design analysis tools, which includes syntax checkers, type checkers and a specification animator; a set of verification tools, which includes a proof-obligation generator and automatic and interactive provers; a set of coding tools, which includes a translator, linker, rapid prototyping facilities and a reusable specification/code module library; a documentation tool for automatically producing fully cross-referenced and indexed type-set documents from source files; a re-making tool for automatically re-checking and re-generating specifications, designs, code and documentation after modifications to source files.
A normal licence costs 25,000 pounds, academic 6,250 pounds.
(1995-03-13)
Read Also:
- B-tree
b-tree algorithm A multi-way balanced tree. The “B” in B-tree has never been officially defined. It could stand for “balanced” or “Bayer”, after one of the original designers of the algorithms and structure. A B-tree is _not_ (necessarily?) a “binary tree”. A B+-tree (as used by IBM’s VSAM) is a B-tree where the leaves are […]
- B.a.
Bachelor of Arts. bastard amber. batting average. British Academy. British America. British Association (for Advancement of Science). Buenos Aires. Contemporary Examples She holds an M.S. in journalism from Columbia University and a B.A. from Cornell University. Catch Up on Harry Potter: Watch 13 Key Moments Alex Berg November 16, 2010 I received a B.A. from […]
- B.c.
Bachelor of Chemistry. Bachelor of Commerce. bass clarinet. battery commander. British Columbia. before Christ (used in indicating dates). Insurance. building and contents. Contemporary Examples And indeed since her death in 30 B.C., nearly everything has conspired against Cleopatra VII, the last of the Ptolemies. Cleopatra’s Comeback Stacy Schiff June 2, 2010 As late as 1,000 […]
- Ecevit
Bülent [by-lent] /büˈlɛnt/ (Show IPA), born 1925, Turkish journalist and political leader: prime minister 1974, 1978–80, 1998–2002. noun Bülent (ˈbuːlənt). 1925–2006, Turkish politician and journalist: prime minister of Turkey (1974, 1977, 1978–79, 1998–2002)
- Arthur evans
Sir Arthur John, 1851–1941, English archaeologist. Dame Edith, 1888–1976, English actress. Herbert McLean [muh-kleyn] /məˈkleɪn/ (Show IPA), 1882–1971, U.S. embryologist and anatomist. Janet, born 1971, U.S. swimmer. Mary Ann, Eliot, George. Maurice, 1901–1989, U.S. actor and producer, born in England. Oliver, 1755–1819, U.S. inventor: constructed the first high-pressure steam engine in the U.S. 1801?. Robley […]