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.

Des questions sur ce cours? Inscrivez-vous aux cours

  • 3 Crédits

  • Cycle du cours

    • Premier cycle

  • Modes d'enseignement

    • Régulier

  • À l'horaire

    • Hiver 2025
  • Cours pouvant être offert à distance

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 OU IFT-1006)

Cette activité est contributoire dans:

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 2025 – 1 section offerte

NRC 15442 Capacité maximale: 200 étudiants Enseignant: Loïc Ricaud

Cette section de cours est offerte en formule à distance et peut contenir des activités de formation en ligne synchrones, à une date et une heure précises et des activités de formation en ligne qui se déroulent en temps différé.Les examens sous surveillance nécessitent un déplacement sur le campus ou dans l’un des centres d’examens hors campus, au choix de l’étudiante et de l’étudiant. Ils ont lieu en soirée ou la fin de semaine et, s’il y a lieu, peuvent donc se dérouler à un autre moment que la plage prévue pour les séances synchrones.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 13 jan. 2025 au 25 avr. 2025
    • Journée: Mardi
    • Horaire: De 16h30 à 18h20
    • Type: Classe virtuelle synchrone
    • Dates: Du 13 jan. 2025 au 25 avr. 2025
    • Journée: Mercredi
    • Horaire: De 18h30 à 21h20

Hiver 2024 – 1 section offerte

NRC 15404 Capacité maximale: 185 étudiants

Cette section de cours est offerte en formule à distance et peut contenir des activités de formation en ligne synchrones, à une date et une heure précises et des activités de formation en ligne qui se déroulent en temps différé.Les examens sous surveillance nécessitent un déplacement sur le campus ou dans l’un des centres d’examens hors campus, au choix de l’étudiante et de l’étudiant. Ils ont lieu en soirée ou la fin de semaine et, s’il y a lieu, peuvent donc se dérouler à un autre moment que la plage prévue pour les séances synchrones.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 15 jan. 2024 au 26 avr. 2024
    • Journée: Mardi
    • Horaire: De 16h30 à 18h20
    • Type: Classe virtuelle synchrone
    • Dates: Du 15 jan. 2024 au 26 avr. 2024
    • Journée: Mercredi
    • Horaire: De 12h30 à 13h50
    • Type: Classe virtuelle synchrone
    • Dates: Du 15 jan. 2024 au 26 avr. 2024
    • Journée: Jeudi
    • Horaire: De 9h30 à 10h50

Hiver 2023 – 1 section offerte

NRC 15397 Capacité maximale: 160 é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 10 jan. 2023 au 21 avr. 2023
    • Journée: Mardi
    • Horaire: De 16h30 à 18h20
    • Type: Classe virtuelle synchrone
    • Dates: Du 10 jan. 2023 au 21 avr. 2023
    • Journée: Mercredi
    • Horaire: De 12h30 à 13h50
    • Type: Classe virtuelle synchrone
    • Dates: Du 10 jan. 2023 au 21 avr. 2023
    • Journée: Jeudi
    • Horaire: De 9h30 à 10h50