Section outline

  • En cas de problème technique sur une apnée, contacter immédiatement Benjamin Wack et Vincent Danjean par mail.

    • Documents de cours
      • Cours : Logique de Hoare
        Preuve automatique de programme
        Recherche dichotomique
      • TD1 : preuves de correction et de terminaison
      • TD2 : validation expérimentale de programmes
    • Corrigés des TDs de la semaine
    • Apnée 2
      En cas de problème technique sur une apnée, contacter immédiatement Benjamin Wack par mail.
    • Choix d'un binôme pour l'APNEE 2 Group choice
    • Sujet APNEE 2 Page

      Cette apnée est la suite de l'apnée Programmation «Tests de programmes». Il n'est donc pas judicieux de la commencer avant d'avoir terminé l'apnée de Programmation.

    • Ces fichiers ne sont utilisés que dans l'exercice 3 (facultatif), ne perdez pas de temps à les consulter avant d'en avoir besoin.

    • Rendu APNÉE 2 Assignment
      Opened: Friday, 11 October 2024, 12:30 PM
      Due: Friday, 18 October 2024, 5:00 PM

      ATTENTION : tous les membres d'un binôme doivent s'inscrire dans ce binôme sur moodle avant de faire le rendu pour que le devoir soit bien pris en compte pour tous les étudiants.

      Plusieurs fichiers sont à déposer :

      • Compte-rendu : 4 pages maximum, au format PDF (rappel : utilisez Grammalecte ou LanguageTool)
      • Fichiers sources de vos programmes (le correcteur doit pouvoir compiler votre code)
      • Archive compressée contenant les chaînes générées
      • Le cas échéant, le fichier oracle.c complété

      Un seul dépôt (avec tous les fichiers) par binôme.

      N'oubliez pas de déposer aussi dans l'atelier "Évaluation par les pairs" exactement les mêmes fichiers que dans ce devoir "Rendu Apnée 1".

      https://moodle.caseine.org/mod/workshop/view.php?id=75368

      Not available unless: You belong to a group in APNEE2
    • Évaluation par les pairs Apnée 2 Workshop
      Submissions opened: Friday, 11 October 2024, 1:49 PM
      Submissions closed: Friday, 18 October 2024, 11:55 PM
      Assessments opened: Friday, 18 October 2024, 11:59 PM
      Assessments closed: Saturday, 26 October 2024, 11:59 PM
      Not available unless: You belong to a group in APNEE2