B-Toolkit
- B-Toolkit
-
B-Toolkit est une suite de programmes conçue pour être utilisée avec le B-Tool, qui est un interpréteur mathématique de la théorie des ensembles, et permettant de mettre en œuvre la méthode formelle de développement de logiciels appelée Méthode B.
Cet outil utilise Qt toolkit pour gérer son interface graphique et a été initialement conçu pour les systèmes d'exploitation Linux et Solaris. Il a été développé par la société B-Core Limited, basée en Grande-Bretagne.
Liens externes
Wikimedia Foundation.
2010.
Contenu soumis à la licence CC-BY-SA. Source : Article B-Toolkit de Wikipédia en français (auteurs)
Regardez d'autres dictionnaires:
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
