Logo Université Laval Logo Université Laval
Accueil > Études > Cours > Spécification formelle et vérification de logiciels

Cours

GLO-3004 Spécification formelle et vérification de logiciels

3 crédits / 1er cycle

Session en cours

Période d'inscription

Session inactive

A20
Automne 2020
NRC : -
Le cours est non disponible à distance pour cette session.
E20
Été 2020
NRC : -
Le cours est non disponible à distance pour cette session.
H20
Hiver 2020 - Z3
NRC : 15112
Examens sous surveillance mi-session : 1 mars 9h-11h50
Examen sous surveillance final : Consultez le site du cours
Début de session : 2020-01-13
Fin de session : 2020-04-24
Abandon avec remboursement : 2020-01-27
Abandon sans remboursement : 2020-04-24
Retour du matériel didactique :
Restriction(s) à l'inscription: ——
Classe virtuelle : Voir horaire
Enseignant(s) : Nadia Tawbi

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.

Responsables

Faculté : Sciences et génie

Courriel : fsg@fsg.ulaval.ca

Département : Département d'informatique et de génie logiciel

Courriel : info@ift.ulaval.ca

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 408747
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 la liste des ouvrages de votre cours (Coop Zone).

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)