Le logiciel, objet de notre quotidien : Différence entre versions
De Sciencinfolycee
m (Remplacement du texte — « 4. Contenus à la marge » par « Sans sélection thématique ») |
|||
| (Une révision intermédiaire par le même utilisateur non affichée) | |||
| Ligne 6 : | Ligne 6 : | ||
|SiloLangue=fre | |SiloLangue=fre | ||
|Résumé=Comprendre comment sont faits et fonctionnent les logiciels afin de tenter de les améliorer en les rendant plus sûrs. | |Résumé=Comprendre comment sont faits et fonctionnent les logiciels afin de tenter de les améliorer en les rendant plus sûrs. | ||
| − | |Catégorie= | + | |Catégorie=Langage de programmation |
|Mots-clés contrôlés=logiciel; hardware; bug; langage de programmation; preuve de vérification sémantique; vérification sémantique; | |Mots-clés contrôlés=logiciel; hardware; bug; langage de programmation; preuve de vérification sémantique; vérification sémantique; | ||
|SiloTypeDocumentaire=image en mouvement | |SiloTypeDocumentaire=image en mouvement | ||
| Ligne 14 : | Ligne 14 : | ||
|SiloNiveauAgregation=2.une collection de ressources de niveau 1 | |SiloNiveauAgregation=2.une collection de ressources de niveau 1 | ||
|Format=vidéo | |Format=vidéo | ||
| − | |SiloDuree=70 | + | |SiloDuree=70' 47" |
|SiloTypePedagogique=cours / présentation | |SiloTypePedagogique=cours / présentation | ||
|SiloPublicCible=enseignant | |SiloPublicCible=enseignant | ||
|Evaluateur=Julia (demandeur+validateur); Diane Rives (indexation); DB | |Evaluateur=Julia (demandeur+validateur); Diane Rives (indexation); DB | ||
|Statut d'évaluation=publiée | |Statut d'évaluation=publiée | ||
| − | |Commentaire= | + | |Commentaire=Déjà indexé dans Unit (pas de notice SupLOMfr). |
|Visibilité=Public | |Visibilité=Public | ||
}} | }} | ||
Version actuelle datée du 29 février 2012 à 16:35
| 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.
