Laboratoire #2

Date de remise: avant le 2005/03/07 23:00

Fichier zip nommé LOG310_L2_MORY26048202.zip avec numéro 1 et numéro 2.

Remise électronique seulement à l'adresse de courriel sylvie.ratte@etsmtl.ca

Note: mettre votre nom et code permanent en commentaire % dans les deux fichiers texte.

Lecture

Gary Pollice du Worcester Polytechnic Institute
POLLICE, Gary (2004) Formally speaking : How to apply OCL.

RUSHBY, John (2000) Disappearing Formal Methods, in High-Assurance Systems Engineering Symposium.
IEEE, Albuquerque, NM. Novembre 2000. Pages 95–96.

Hyperliens...