Vidéo pédagogique

Propos liminaire (Introduction à la vérification de programme)

Réalisation : 2 janvier 2019 Mise en ligne : 2 janvier 2019
  • document 1 document 2 document 3
  • niveau 1 niveau 2 niveau 3
  • audio 1 audio 2 audio 3
Descriptif

Dans ce cours vidéo, il est expliqué schématiquement d'où proviennent les erreurs de programmation et en quoi consiste la vérification de programme. Vous aurez notamment une idée des fondements mathématiques et logiques sur lequels repose cette vérification. Ce cours présente également les principales techniques pour la vérification de programme ainsi que quelques logiciels utilisés.

Première partie du cours "Introduction à la vérification de programme".

Discipline :
Date de réalisation
Sous-titrage
Sous-titre
Conditions d'utilisation
Attribution - Partage dans les mêmes conditions (CC BY-SA)
Citer cette ressource:
UNIT. (2019, 2 janvier). Propos liminaire (Introduction à la vérification de programme). [Vidéo]. Canal-U. https://www.canal-u.tv/75279. (Consultée le 24 janvier 2022)
Contacter

Sur le même thème

  • La fiabilité des systèmes mécatroniques automobiles
    Vidéo pédagogique
    00:13:28
    La fiabilité des systèmes mécatroniques automobiles
    Delaux
    David

    Cet ensemble de vidéocours est consacré à l’approche statistique d’optimisation de la conception par la fiabilité et l’approche expérimentale pour la caractérisation de l’évolution des systèmes

  • La fiabilité appliquée aux domaines de l'aéronautique
    Vidéo pédagogique
    00:16:46
    La fiabilité appliquée aux domaines de l'aéronautique
    Eudeline
    Philippe

    Cet ensemble de vidéocours est consacré à l’approche statistique d’optimisation de la conception par la fiabilité et l’approche expérimentale pour la caractérisation de l’évolution des systèmes

  • Introduction à la mécatronique
    Vidéo pédagogique
    00:09:14
    Introduction à la mécatronique

    Cet ensemble de vidéocours est consacré à l’approche statistique d’optimisation de la conception par la fiabilité et l’approche expérimentale pour la caractérisation de l’évolution des systèmes

  • Les moteurs de recherche : et demain ?
    Vidéo pédagogique
    00:07:32
    Les moteurs de recherche : et demain ?
    Delestre
    Nicolas

    Sixième partie du cours "Moteurs de recherche" qui se propose d'expliquer ce que sont les moteurs de recherche d'information sur le Web et comment ils fonctionnent. Cette dernière vidéo, "Et demain ?

  • Les moteurs de recherche : mesure de qualité
    Vidéo pédagogique
    00:06:58
    Les moteurs de recherche : mesure de qualité
    Delestre
    Nicolas

    Cinquième partie du cours "Moteurs de recherche" qui se propose d'expliquer ce que sont les moteurs de recherche d'information sur le Web et comment ils fonctionnent. Cette cinquième vidéo, "Mesure

  • Les moteurs de recherche : phase d’indexation
    Vidéo pédagogique
    00:07:37
    Les moteurs de recherche : phase d’indexation
    Delestre
    Nicolas

    Troisième partie du cours "Moteurs de recherche" qui se propose d'expliquer ce que sont les moteurs de recherche d'information sur le Web et comment ils fonctionnent. Cette troisième vidéo, "Phase d

  • Les moteurs de recherche : phase de requêtage
    Vidéo pédagogique
    00:06:27
    Les moteurs de recherche : phase de requêtage
    Delestre
    Nicolas

    Quatrième partie du cours "Moteurs de recherche" qui se propose d'expliquer ce que sont les moteurs de recherche d'information sur le Web et comment ils fonctionnent. Cette quatrième vidéo, "Phase de

  • Les moteurs de recherche : traitement automatique de la langue
    Vidéo pédagogique
    00:07:16
    Les moteurs de recherche : traitement automatique de la langue
    Delestre
    Nicolas

    Deuxième partie du cours "Moteurs de recherche" qui se propose d'expliquer ce que sont les moteurs de recherche d'information sur le Web et comment ils fonctionnent. Cette deuxième vidéo, "Traitement

  • Les moteurs de recherche : fonctionnement général
    Vidéo pédagogique
    00:06:28
    Les moteurs de recherche : fonctionnement général
    Delestre
    Nicolas

    Première partie du cours "Moteurs de recherche" qui se propose d'expliquer ce que sont les moteurs de recherche d'information sur le Web et comment ils fonctionnent. Cette première vidéo,

  • Créer des documents avec Scenari : usages avancés d’Opale
    Vidéo pédagogique
    00:03:23
    Créer des documents avec Scenari : usages avancés d’Opale

    Dixième partie du cours "Créer des documents avec Scenari" qui propose une initiation aux chaînes éditoriales Scenari. Scenari est une suite d'outils et de procédés permettant la création de