Cet exemple est issu du logiciel réalisé conjointement par Fernando MEJIA (GEC ALSTHOM Transport) , Ranan FRAER (maintenant à l'INRIA) et Denis SABATIER (STERIA) . Il a été proposé à l'école d'été CEA, EDF, INRIA de 1995.
L'exemple a ensuite été repris par Cécile DUMAS (2°année ENSIMAG) et Corinne TOGNETTY (STERIA) de façon à produire un exemple complet de développement B avec l'Atelier B.
Cycle de Développement du logiciel
Informations sur la méthodologie
Click here for English.
