Ressource pédagogique : Raisonnement mathématique (Introduction à la vérification de programme)

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 principal...
Mots-clés :
Accéder aux ressources pédagogiques
cours / présentation - Date de création : 02-01-2019
Auteur(s) : Benoit ROGNIER
Partagez !

Présentation de: Raisonnement mathématique (Introduction à la vérification de programme)

Informations pratiques sur cette ressource

Type pédagogique : cours / présentation
Niveau : master, formation continue
Durée d'exécution : 9 minutes 52 secondes
Contenu : image en mouvement
Document : video/mp4
Taille : 56.26 Mo
Droits : libre de droits, gratuit
Droits réservés à l'éditeur et aux auteurs. Attribution - Partage dans les mêmes conditions (CC BY-SA)

Description de la ressource pédagogique

Description (résumé)

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. Quatrième partie du cours "Introduction à la vérification de programme".

"Domaine(s)" et indice(s) Dewey

  • Vérification, essai, mesure, débogage (005.14)

Thème(s)

Partagez !

AUTEUR(S)

  • Benoit ROGNIER

EN SAVOIR PLUS

  • Identifiant de la fiche
    48235
  • Identifiant
    oai:canal-u.fr:48235
  • Schéma de la métadonnée
  • Entrepôt d'origine
    Canal-u.fr