B-Toolkit
Un article de Wikipédia, l'encyclopédie libre.
Cet article est une ébauche concernant l’informatique.
Vous pouvez partager vos connaissances en l’améliorant. (Comment ?).
|
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.
[modifier] Liens externes
- (en) B-Core Toolkit