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

Hiver 2015 - Z3
: 20501

  dimanche 1 mars
9 h à 11 h 50
dimanche 26 avr.
9 h à 11 h 50
  lun. 12 janv. 2015 /
ven. 24 avr. 2015
  26 janv. 2015 /
23 mars 2015
    Voir horaire Capsule
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

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.

Restriction(s) à l'inscription

Cycle d'études
  • Ne doit pas être inscrit :
    • Éducation continue

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.

Cette activité est contributoire dans

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

Certificat en informatique (cours à option)