Cette étude de cas consiste à obtenir un système chargé de contrôler l'accès de certains bâtiments aux diverses personnes selon les autorisations attribuées.
Elle a été proposée par différents chercheurs comme banc d'essai de diverses méthodes formelles.
 

L'étude Présentation du sujet Objectifs de l'étude système Conventions méthodologiques   Bilan et conclusion

Les différentes étapes Spécification initiale Premier raffinement Second raffinement Troisième raffinement Quatrième raffinement Cinquième raffinement

Information sur la méthodologie Visualiser le projet B La version postscript est disponible Le contrôle d'accès aux bâtiments en quelques chiffres