The B-Toolkit
The B-Toolkit, which provides full support the B-Method, is
a mature, integrated suite of tools, built partly on the B-Tool
interpreter, and covering many aspects of software engineering.
Notable features include:
- A state-of-the-art Window based Interface
custom built and covering every aspect of support.
It automatically indicates the state of the system
being built by highlighting currently-admissible commands.
- Full on-line help in Hypertext Format
containing not just a description of each tool, but
reference material on such things as structuring
specification and layers of design.
- Complete Hypertext Navigation through the Development
the entire development is mirrored in hypertext form;
without such a tool the development of large systems
proves very difficult to control.
- Configuration and Integrity Management
of all files, including AMN (Abstract Machine Notation)
constructs, proofs, documents (see below) hypertext
constructs as well as generated binary code files.
- Overview of Specification Construction and Code Design
providing automatic graph generation to overview a development,
with `hot-spots' to zoom in for a more detailed view.
- Save/Restore
facilities enable a whole development to be archived
and subsequently restored (and, of course, automatically
rebuilt) on any Unix platform.
- Comprehensive Error Reporting
from all tools, with references to the on-line help
- All tools are fully integrated and designed to run
automatically.
The B-Toolkit, provides five environments for performing specific tasks:
B-Toolkit Availability
|
