Spécification formelle et vérification de logiciels

GLO-3004 / 3 crédit(s) / 1er cycle

Dates importantes

Session
  Examens sous surveillance*   Début / fin
de session
  Abandon avec remboursement / sans remboursement
  Retour du matériel didactique (intact)
  Classe virtuelle synchrone
(en temps réel)
Mi-session Final
Automne 2014   Le cours n'est pas à l'horaire en formule à distance à l'automne 2014
Été 2014   Le cours n'est pas à l'horaire en formule à distance à l'été 2014

Hiver 2014 - Z3
: 20501

  dimanche 2 mars
9 h à 11 h 50
dimanche 27 avr.
9 h à 11 h 50
  lun. 13 janv. 2014 /
ven. 25 avr. 2014
  27 janv. 2014 /
24 mars 2014
    Voir horaire Capsule

Numéro de référence du cours

Avis de convocation à l'examen

Description

Méthodes de développement formelles. Vérification de modèles. Langages de spécification formelle comme VDM, Z ou Lotos. Utilisation de logiciels de vérification de modèles.

Cours préalable(s)

IFT 2002 ET (GIF 1003 OU IFT 2005)

Accès au site Web du cours

(à partir du premier jour de la session)

PIXEL (TYPO3)

Soutien technique


Pavillon Adrien-Pouliot, local 3718-B
418 656-2131, poste 8747
aide@fsg.ulaval.ca

Matériel didactique


Consultez le site Web du cours à partir du premier jour de la session.

Rattachement du cours

Cours rattaché au(x) programme(s) à distance suivant(s) :

 

Baccalauréat en informatique (B. Sc. A.) (cours à option)

Certificat en informatique (cours à option)