b-toolkit

B b

Transcription

- US Pronunciation
- US IPA

- US Pronunciation
- US IPA

Definition of b-toolkit word

noun Technical meaning of 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. 1

Just one definition for b-toolkit

Information block about the term

Parts of speech for B-toolkit

noun

adjective

verb

adverb

pronoun

preposition

conjunction

determiner

exclamation

Full grammatical hierarchy of B-toolkit

See also

All definitions of b-toolkit

Was this page helpful?

Yes No

Thank you for your feedback! Tell your friends about this page

Tell us why?