Répertoire des cours

 
 
 
 
 
 
 
 

Modifiez vos critères de recherche

Matières
Choisir
  • Toutes
Session
Afficher seulement les cours à l'horaire à la session d'automne 2019
Choisir
Cycles
Choisir
Facultés
Toutes
  • Toutes
Départements et écoles
Tous
  • Tous
Modes d'enseignement
Tous
  • Tous
Formules d'enseignement
Cours en classe
Offert à distance
Formule hybride
Nombre de crédits
Choisir un intervalle
Tous
À
Plages horaire
Choisir
Titre, sigle et numéro de cours

Vous pouvez ici chercher parmi les cours en indiquant le titre (un ou plusieurs mots-clés séparés par des virgules), le sigle de 3 lettres et/ou le numéro de cours de 4 chiffres.

Numéro de cours

Série de chiffres dont le premier indique le cycle ou le niveau du cours.

Modes d'enseignement

Ces derniers dépendent de la façon dont l'enseignement est dispensé: régulier, connexe, stage, temps complet, activités de recherche, sans évaluation.

Sessions

Vous pouvez ici chercher parmi les cours en indiquant la ou les sessions qui vous intéressent. Les résultats présenteront les cours qui sont à l'horaire de ces sessions, qu'elles soient présente ou futures. Vous pouvez également consulter les cours qui ne sont pas à l'horaire.

Plages horaire

Vous pouvez ici chercher parmi les cours à l'horaire ainsi que l’historique des cours offerts. Les résultats présenteront tous les cours offrant une ou des sections dont la ou les plages horaires correspondent à vos critères. Vous pourrez consulter les détails de l'horaire dans la fiche complète de ces cours.

Affichage en mode liste
Affichage en mode éclaté
Indique que le cours est à l'horaire à l'automne 2019
Indique que le cours peut être offert en formule hybride
Indique que le cours peut être offert à distance
Indique que le cours est en développement durable
Indique que le cours peut être offert en formule comodale
 
 
 

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

Renseignements

Cours pouvant être offert à distance

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.
Cycle(s) du cours - Premier cycle
3crédits

Responsables

FacultéFaculté des sciences et de génie
DépartementDépartement d'informatique et de génie logiciel

Mode(s) d'enseignement

  • Régulier

Répartition hebdomadaire

Cours3 heures
Laboratoire ou
travaux pratiques
2 heures
Travail personnel4 heures

Total9 heures

Préalable(s)

IFT 2002 ET (GIF 1003 OU IFT 2005)

Horaire

Hiver 2019

1 section offerte
Tout ouvrir
GLO 3004 - Z3
À distance
+-
NRC15515
Capacité maximale125 étudiants
Ce cours est offert à distance. Pour plus d’information, consultez la page du cours à l’adresse www.distance.ulaval.ca. NOTE IMPORTANTE: veuillez vous assurer, pour chaque cours donné à distance, qu’il n’existe aucun conflit d’horaire entre vos examens, aucun accommodement ne sera accordé en cas de conflit d’horaire.
Plage(s) horaire
TypeClasse virtuelle synchrone  JournéeJeudi
DuréeDu 14 jan 2019 au 26 avr 2019  Horaire09h30 à 10h50
TypeClasse virtuelle synchrone  JournéeMercredi
DuréeDu 14 jan 2019 au 26 avr 2019  Horaire12h30 à 13h50
TypeClasse virtuelle synchrone  JournéeMardi
DuréeDu 14 jan 2019 au 26 avr 2019  Horaire16h30 à 18h20
Pour vous inscrire accédez à monPortail.

Hiver 2018

1 section offerte
Tout ouvrir
GLO 3004 - Z3
À distance
+-
NRC20501
Capacité maximale85 étudiants
Ce cours est offert à distance. Pour plus d’information, consultez la page du cours à l’adresse www.distance.ulaval.ca. NOTE IMPORTANTE: veuillez vous assurer, pour chaque cours donné à distance, qu’il n’existe aucun conflit d’horaire entre vos examens, aucun accommodement ne sera accordé en cas de conflit d’horaire.
Plage(s) horaire
TypeClasse virtuelle synchrone  JournéeMardi
DuréeDu 15 jan 2018 au 27 avr 2018  Horaire09h30 à 10h50
TypeClasse virtuelle synchrone  JournéeMercredi
DuréeDu 15 jan 2018 au 27 avr 2018  Horaire12h30 à 13h50
TypeClasse virtuelle synchrone  JournéeMardi
DuréeDu 15 jan 2018 au 27 avr 2018  Horaire16h30 à 18h20
Pour vous inscrire accédez à monPortail.

Remarques: cette page constitue la description officielle de l'activité. L'Université Laval se réserve le droit de modifier cette activité sans préavis.

Remarque: tous les horaires établis par l’Université Laval sont sujets à changement. Pour vous inscrire accédez à monPortail.

www.ulaval.ca