next up previous
Next: Visualisation of the B sources Up : Table of contents Previous: Development cycle

Appuyer ici pour la version francaise.

PROJECT DOCUMENTATION

The Requirements document

Functional specifications file

Tracing matrix

Scenarii of use