B-Toolkit
From Wikipedia, the free encyclopedia
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 [1] 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.
[edit] References
[edit] External links
 |
This Unix-related article is a stub. You can help by expanding it. |
