Training
The successful transfer of advanced technology requires high-quality,
well-focussed training, tailored to each client's needs.
B-Core can provide, either on-site or at our offices, a variety of
training packages covering such topics as:
- introduction to rigorous methods of software development
- the use of set theory for systems engineering
- how to specify systems using the B language
- the construction of object-oriented systems
- design through refinement
- layered systems development
- proof of correctness of software systems
|