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)
  Enseignant(s)
Mi-session Final
Automne 2015   Le cours n'est pas à l'horaire en formule à distance à l'automne 2015
Été 2015   Le cours n'est pas à l'horaire en formule à distance à l'été 2015

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   Nadia Tawbi

Numéro de référence du cours

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

Si vous devez vous procurer du matériel pour votre cours, celui-ci sera disponible à la librairie Coop Zone. de 3 à 4 semaines avant le début de la session (plus tôt, c'est le matériel de la session précédente qui est annoncé). Des ouvrages peuvent être obligatoires et d'autres facultatifs.

Consultez aussi 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)