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

  À venir À venir   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.

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)