Remarque :
L'ensemble des documents sont
mis a disposition de tous dans l'état et sans garantie.
Il reste des coquilles plus
ou moins graves.
Je reste à votre
disposition pour toute information complémentaire.
Vous pouvez me contacter à
l'adresse suivante pour toute question, mon
adresse.
Le module "Méthode formelle" du DESS QUASSI d'ANGER
Il fait au total 20h qui ont été répartit comme suit:
8h
e TD/TP sur machine LINUX avec l'atelier B.
un TP libre
d’environ 4h en groupe
Les TD/TP nous on permis une bonne prise en main de le méthode B et de
l’atelier B de Clearsy.
Le premier TP
existe en deux versions ps ou pdf.
Les 6h de cours traitent du génie logiciel et du besoin de formalisation.