Recherche en cours
Par auteur
=
JEANNET BERTRAND
Affiner ma recherche
Retour
Imprimer
Flux RSS
Titre
Titre
Date
Auteur
Afficher 12
Afficher 12
Afficher 24
Afficher 36
Afficher 48
Afficher 60
Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.
2
résultats
section 1-1
sur 1
résultats
1 à 2
Canal-u.fr
Analyse de programmes : A quoi ça sert ? Comment ça marche ? : 2ème partie
Description
:
Nous présentons les systèmes embarqués critiques et les exigences qui leur sont liées : dans certains cas (nucléaire, avionique, santé) aucun bug n'est accepté. Puis nous présentons l'analyse statique, que nous illustrons sur un exemple de programme. Nous montrons que pour analyser des variables num ...
Date
:
18-01-2012
Format
:
video/mp4
Auteur
:
GIRAULT Alain, JEANNET Bertrand
Thème
:
Informatique
Type de la ressource pédagogique
:
cours / présentation
Niveau
:
formation continue
Canal-u.fr
Analyse de programmes : A quoi ça sert ? Comment ça marche ? : 1ère partie
Description
:
Nous présentons les systèmes embarqués critiques et les exigences qui leur sont liées : dans certains cas (nucléaire, avionique, santé) aucun bug n'est accepté. Puis nous présentons l'analyse statique, que nous illustrons sur un exemple de programme. Nous montrons que pour analyser des variables num ...
Date
:
18-01-2012
Format
:
video/mp4
Auteur
:
GIRAULT Alain, JEANNET Bertrand
Thème
:
Informatique
Type de la ressource pédagogique
:
cours / présentation
Niveau
:
formation continue
Afficher section
2
sur 1