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:

  • 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… …   Wikipedia

  • 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

  • B-Method — The B method is method of software development based on B, a tool supported formal method based around an abstract machine notation, used in the development of computer software. It was originally developed by Jean Raymond Abrial in France and… …   Wikipedia

  • 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 — noun a) An assembly of tools. b) set of basic building units for graphical user interfaces See Also: toolbox, toolset …   Wiktionary

  • Toolkit — Tool|kit 〈[tu:l ] m. od. n.; Gen.: od. s, Pl.: s; EDV〉 ergänzende Programmeinheit (z. B. in Form einer Sammlung von mehreren Programmroutinen); Syn. Toolbox (1) [Etym.: engl., eigtl. »Werkzeug(ausrüstung)«] …   Lexikalische Deutsches Wörterbuch

  • Methode B — Méthode B Wikibooks propose un ouvrage abordant ce sujet : la méthode B …   Wikipédia en Français

  • Méthode B — La méthode B est une méthode formelle de développement logiciel qui permet de modéliser de façon abstraite dans le langage de B le comportement d un programme, puis par raffinements successifs, d aboutir à un modèle concret, sous ensemble du… …   Wikipédia en Français

  • Dojo Toolkit — Developer(s) Dojo Foundation Stable release 1.6.1 / May 20, 2011; 5 months ago ( …   Wikipedia

Share the article and excerpts

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