Le logiciel, objet de notre quotidien

De Sciencinfolycee
Aller à : navigation, rechercher
Section Description
URL http://www.canal-u.tv/canalu/producteurs/universite de tous les savoirs/dossier programmes/les conferences de l annee 2000/l homme et l informatique machines connexions et agents/le logiciel objet de notre quotidien
Titre Le logiciel, objet de notre quotidien
Auteur(s) Berry, Gérard
Fonction(s) auteur
Notes
Section Analyse
Langue fre
Résumé Comprendre comment sont faits et fonctionnent les logiciels afin de tenter de les améliorer en les rendant plus sûrs.
Sélection(s) thématique(s) Langage de programmation
Mots-clés normalisés logiciel ; hardware ; bug ; langage de programmation ; preuve de vérification sémantique ; vérification sémantique
Proposition autres mots-clés
Type documentaire image en mouvement
Typologie Générale banque de vidéo
Date de publication 2000/09/10
Structure du document atomique
Niveau d'agrégation 2.une collection de ressources de niveau 1
Exigences techniques vidéo
Durée (en min) 70' 47"
Section Pédagogie
Type pédagogique cours / présentation
Public cible enseignant
Utilisation pédagogique
Section Droits
Droits du document
Section processus de validation (workflow)
Intervenants Julia (demandeur+validateur); Diane Rives (indexation); DB
Statut du workflow publiée
Commentaire Déjà indexé dans Unit (pas de notice SupLOMfr).

Signaler cette ressource. Si ce lien de signalement ne fonctionne pas (ouverture intempestive d'un mailer alors que vous utilisez un webmail) c'est qu'il vous manque l'extension idoine dans votre navigateur (par exemple l'extension send-mail pour firefox); c'est une bonne occasion de l'installer.