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
A16
Automne 2016
NRC : -
Le cours est non disponible à distance pour cette session.
E16
Été 2016
NRC : -
Le cours est non disponible à distance pour cette session.
H16
Hiver 2016 - Z3
NRC : 20501
Examens sous surveillance mi-session : 28 févr 9h-11h50
Examen sous surveillance final : 24 avr 9h-11h50
Début de session : 2016-01-11
Fin de session : 2016-04-22
Abandon avec remboursement : 2016-01-25
Abandon sans remboursement : 2016-03-21
Retour du matériel didactique :
Classe virtuelle : Voir horaire Capsule
Enseignant(s) : à venir

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