B-TOOLKIT
\bˈiːtˈuːlkɪt], \bˈiːtˈuːlkɪt], \b_ˈiː_t_ˈuː_l_k_ɪ_t]\
Sort: Oldest first
-
A set of software tools designedto support a rigorous or formal development of softwaresystems using the B-Method.The Toolkit also provides a development environment automatingthe management of all associated files, ensuring that theentire development, including code and documentation, isalways in a consistent state.The Toolkit includes: a specification, design and codeconfiguration management system, including integrity anddependency management and source file editing facilities; aset of software specification and design analysis tools, whichincludes syntax checkers, type checkers and a specificationanimator; a set of verification tools, which includes aproof-obligation generator and automatic and interactiveprovers; a set of coding tools, which includes a translator,linker, rapid prototyping facilities and a reusablespecification/code module library; a documentation tool forautomatically producing fully cross-referenced and indexedtype-set documents from source files; a re-making tool forautomatically re-checking and re-generating specifications,designs, code and documentation after modifications to sourcefiles.A normal licence costs 25,000 pounds, academic 6,250 pounds.
By Denis Howe
Word of the day
Proto Oncogene Proteins c erbB 2
- cell surface protein-tyrosine kinase that is found to be overexpressed in significant number adenocarcinomas. It has extensive homology can heterodimerize EGF EPIDERMAL GROWTH FACTOR), 3 receptor (RECEPTOR, 3) and the 4 receptor. Activation of erbB-2 receptor occurs during heterodimer formation with a ligand-bound erbB family members. EC 2.7.11.-.