LE DISTRIBUTEUR AUTOMATIQUE DE BILLETS

Un exemple de développement en B


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.

Sujet

Cycle de Développement du logiciel

Documentation de Projet

Visualiser les sources B

Récupérer le projet

Contenu de la fourniture

Le DAB en quelques chiffres

Comment nous contacter ?

Informations sur la méthodologie



Click here for English.