B-TOOLKIT

Domain	Definition
Computing	B-Toolkit 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). Source: The Free On-line Dictionary of Computing.
Source: compiled by the editor from various references; see credits.

Anagrams: B-TOOLKIT

Scrabble® Enable2K-Verified Anagrams
	Words within the letters "b-i-k-l-o-o-t-t"
	-2 letters: blotto.
	-3 letters: lotto, oboli.
	-4 letters: bilk, bitt, blot, boil, bolo, bolt, book, boot, bott, kilo, kilt, kobo, kolo, koto, lobo, look, loot, loti, obit, obol, olio, otto, tilt, toil, toit, took, tool, toot.
	-5 letters: bio, bit, boo, bot, ilk, kit, kob, koi, lib, lit, lob, loo, lot, obi, oil, oot, til, tit, too, tot.
Source: compiled by the editor from various references; see credits. SCRABBLE® is a registered trademark. All intellectual property rights in and to the game are owned in the U.S.A and Canada by Hasbro Inc., and throughout the rest of the world by J.W. Spear & Sons Limited of Maidenhead, Berkshire, England, a subsidiary of Mattel Inc. Mattel and Spear are not affiliated with Hasbro.