Aller au contenu principal

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

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.

3 Crédits

Cycle du cours

  • Premier cycle

Mode d'enseignement

  • Régulier
  • Cours pouvant être offert à distance synchrone ou asynchrone

Responsables

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

Préalables

IFT-2002 ET (GIF-1003 OU IFT-2005)

Cette page constitue la description officielle de cette activité. L'Université Laval se réserve le droit de modifier l'activité sans préavis. Tous les horaires indiqués sont sujets à changement.

Répartition hebdomadaire

  • 3h Cours
  • 2h Laboratoire ou travaux pratiques
  • 4h Travail personnel
  • 9h Total

Horaire

Pour vous inscrire, accédez à monPortail.

Hiver 2021 – 1 section offerte

NRC 15458 Capacité maximale: 125 étudiants

Ce cours est offert à distance en mode synchrone, en direct, selon l’horaire indiqué. Les enregistrements des séances seront rendus disponibles sur le site Web du cours. Veuillez prendre note que les examens sous surveillance des cours à distance ont lieu en soirée ou la fin de semaine et peuvent donc se dérouler à un autre moment que la plage prévue pour les séances synchrones. Pour plus d’information, consultez la page du cours à l’adresse www.distance.ulaval.ca. NOTE IMPORTANTE : Pour chaque cours donné à distance, veuillez vous assurer qu’il n’existe aucun conflit d’horaire entre vos examens, aucun accommodement ne sera accordé en cas de conflit d’horaire.

Plages horaires

    • Type: Classe virtuelle synchrone
    • Dates: Du 18 janv. 2021 au 23 avr. 2021
    • Journée: Mardi
    • Horaire: De 16h30 à 18h20
    • Type: Classe virtuelle synchrone
    • Dates: Du 18 janv. 2021 au 23 avr. 2021
    • Journée: Mercredi
    • Horaire: De 12h30 à 13h50
    • Type: Classe virtuelle synchrone
    • Dates: Du 18 janv. 2021 au 23 avr. 2021
    • Journée: Jeudi
    • Horaire: De 9h30 à 10h50

Hiver 2020 – 1 section offerte

NRC 15112 Capacité maximale: 95 é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.

Plages horaires

    • Type: Classe virtuelle synchrone
    • Dates: Du 13 janv. 2020 au 24 avr. 2020
    • Journée: Mardi
    • Horaire: De 16h30 à 18h20
    • Type: Classe virtuelle synchrone
    • Dates: Du 13 janv. 2020 au 24 avr. 2020
    • Journée: Mercredi
    • Horaire: De 12h30 à 13h50
    • Type: Classe virtuelle synchrone
    • Dates: Du 13 janv. 2020 au 24 avr. 2020
    • Journée: Jeudi
    • Horaire: De 9h30 à 10h50