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 2016   Le cours n'est pas à l'horaire en formule à distance à l'automne 2016
Été 2016   Le cours n'est pas à l'horaire en formule à distance à l'été 2016

Hiver 2016 - Z3
: 20501

  dimanche 28 févr.
9 h à 11 h 50
dimanche 24 avr.
9 h à 11 h 50
  lun. 11 janv. 2016 /
ven. 22 avr. 2016
  25 janv. 2016 /
21 mars 2016
    Voir horaire Capsule   À venir

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.

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)