The B-Toolkit comprises a suite of fully integrated software tools designed to support a rigorous or formal development of software systems using the B-Method. The tools are accessed through a custom build X Windows Motif Interface, providing full on-line help facilities.

The B-Toolkit [13] [14] is a collection of programming tools designed to support the use of the B-Tool, [15] is a set theory-based mathematical interpreter, for the purposes of supporting the B-Method.

The B-Toolkit supports the B-method over the entire software process and comprises a large suite of tools which can run automatically or interactively. The tool supports the incremental construction of the software.

How to install the B-Toolkit. library requirements of the B-Toolkit. How to install the licence file. How to run the B-Toolkit. The memory capacity of the B-Toolkit.

B-Toolkit Installation; Changing Directory; Reset; Find; Palettes; Save Development; BUnlock; BProcessInfo Also available in the form of a complete Index.

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.

Ubuntu ====== B-Toolkit has been tried on Ubuntu 12.04 and 14.04. Both x86 and x86_64 work. To install this on a debian based system, download the source code and compile it.

The B-Toolkit is a suite of integrated programs which implement the B-Method for Software Development. The B-Method is a collection of mathematical based

What links here; Related changes; Upload file; Special pages; Permanent link; Page information; Cite this page; Get shortened URL; Download QR code

1 B Mathematical Toolkit The mathematical toolkit of the B Method (B) is based on set theory simple set theory, consisting of aggregates having no ordering and no multiplicity.