For many years, mathematically-based methods have been promising
great improvements in the software development process. Until recently,
practical ways of applying them in real development environments have
eluded the research community.

The B-Method and B-Toolkit at last offer a practical approach to
harnessing the benefits of:

• formal specification

• rigorous design

• object-orientation

• step-wise refinement into code

• ease of maintenance

The promise is . . . .

• Practical Rigorous Object-based Methods In Systems Engineering