B-Toolkit

B-Toolkit

The B-Toolkit is a collection of programming tools designed to support the use of the B-Tool, a set theory based mathematical interpreter, for the purposes of a formal software engineering methodology known as the B-Method.

The toolkit uses a custom X Window Motif Interface [ [http://www.b-core.com/ONLINEDOC/BToolkit.html#B-Toolkit B-Toolkit Requirements] ] for GUI management and runs primarily on the Linux and Solaris operating systems. It has been developed by the UK based company B-Core Limited.

References

External links

* [http://www.b-core.com/btoolkit.html B-Core Toolkit]


Wikimedia Foundation. 2010.

Игры ⚽ Нужна курсовая?

Look at other dictionaries:

  • Toolkit — may refer to an assembly of tools.It may also refer to:* Widget toolkit * Toolkits for User InnovationSpecific toolkits include:* Abstract Window Toolkit * Accessibility Toolkit * Adventure Game Toolkit * B Toolkit * Battlefield Mod Development… …   Wikipedia

  • Toolkit — oder auch Toolbox (englisch für „Werkzeugsatz“) ist ein Begriff aus der elektronischen Datenverarbeitung. Er bezeichnet allgemein eine Sammlung von Bibliotheken, Klassen und Schnittstellen, die das Erstellen von Computerprogrammen vereinfachen… …   Deutsch Wikipedia

  • Toolkit Without an Important Name — Toolkit Without an Important Name,   TWAIN …   Universal-Lexikon

  • toolkit — (n.) 1963, from TOOL (Cf. tool) (n.) + KIT (Cf. kit) (1) …   Etymology dictionary

  • Toolkit — Sur les autres projets Wikimedia : « Toolkit », sur le Wiktionnaire (dictionnaire universel) Toolkit est un mot anglais qui est utilisé en informatique et le plus souvent dans le contexte des interfaces graphiques. Ce mot, qui… …   Wikipédia en Français

  • Toolkit — Tool|kit 〈[tu:l ] m. 6 oder n. 15; EDV〉 ergänzende Programmeinheit (z. B. in Form einer Sammlung von Programmroutinen); Sy Toolbox (1) [engl., eigtl. „Werkzeug(ausrüstung)“] * * * Toolkit   [dt. »Werkzeugausrüstung«] das, eine Sammlung …   Universal-Lexikon

  • Toolkit for Conceptual Modeling — The Toolkit for Conceptual Modeling is a collection of software tools to present specifications of software systems in the form of diagrams, tables, trees, and the like. TCM offers editors for techniques used in Structured Analysis as well as… …   Wikipedia

  • toolkit — priemonių komplektas statusas T sritis informatika apibrėžtis Priemonių rinkinys, skirtas darbui, dažniausiai programavimui, tam tikroje terpėje. Pavyzdžiui, programuoti tam tikra programavimo sistema, tam tikros rūšies programinei įrangai… …   Enciklopedinis kompiuterijos žodynas

  • toolkit — See ignition toolkit …   Dictionary of automotive terms

  • Widget toolkit — Toolkit oder auch Toolbox (englisch für „Werkzeugsatz“) ist ein Begriff aus der elektronischen Datenverarbeitung. Er bezeichnet allgemein eine Sammlung von Bibliotheken, Klassen und Schnittstellen, die das Erstellen von Computerprogrammen… …   Deutsch Wikipedia

  • toolkit — noun a) An assembly of tools. b) set of basic building units for graphical user interfaces See Also: toolbox, toolset …   Wiktionary

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”