Recherche en cours
Par mots-clef
=
verification
Affiner ma recherche
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.
19
résultats
section 1-1
sur 2
résultats
1 à 12
Canal-u.fr
Assistant de démonstration (Introduction à la vérification de programme)
Description
:
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 ...
Date
:
02-01-2019
Format
:
video/mp4
Auteur
:
ROGNIER Benoit
Thème
:
Informatique
Type de la ressource pédagogique
:
cours / présentation
Niveau
:
master, formation continue
UNIT
Comment faire confiance à un compilateur ? (série : Colloquium Jacques Morgenstern)
Description
:
Les outils de vérification formelle de programmes (analyseurs statiques, prouveurs de programmes, model-checkers) ont fait des progrès remarquables ces dernières années et commencent à percer dans le monde du logiciel critique. Cependant, ces outils ne vérifient "que" des programmes source: des erre ...
Date
:
08-10-2009
Format
:
Document HTML, Document PDF
Auteur
:
Leroy Xavier
Thème
:
Informatique, Informatique
Type de la ressource pédagogique
:
cours / présentation
Niveau
:
enseignement supérieur, licence
Public
:
apprenant, enseignant
UNIT
Comment maîtriser la complexité des logiciels ?
Description
:
Le logiciel est partout dans notre vie quotidienne et cela n'est pas près de s'arrêter ! Jean-Marc Jézéquel, chercheur en informatique, nous parle des enjeux autour de cet objet mathématique qui envahit le monde réel, dans cet épisode du podcast Interstices.
Date
:
26-01-2017
Format
:
Document HTML
Auteur
:
Jézéquel Jean-Marc, Jongwane Joanna
Thème
:
Informatique
Type de la ressource pédagogique
:
cours / présentation, démonstration
Niveau
:
enseignement supérieur
Public
:
apprenant
UNIT
Comment sécuriser notre environnement communicant ?
Description
:
La sécurité numérique est menacée par des attaques malveillantes de plus en plus pernicieuses. Peut-on réellement sécuriser nos communications ? Stéphanie Delaune apporte des éléments de réponse dans cet épisode du podcast audio.
Date
:
03-05-2016
Format
:
Document HTML
Auteur
:
Delaune Stéphanie, Jongwane Joanna, Beauvillard Ariane
Thème
:
Informatique
Type de la ressource pédagogique
:
cours / présentation, démonstration
Niveau
:
enseignement supérieur
Public
:
apprenant
Canal-u.fr
Conclusion (Introduction à la vérification de programme)
Description
:
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 ...
Date
:
02-01-2019
Format
:
video/mp4
Auteur
:
ROGNIER Benoit
Thème
:
Informatique
Type de la ressource pédagogique
:
cours / présentation
Niveau
:
master, formation continue
Canal-u.fr
Exécution symbolique (Introduction à la vérification de programme)
Description
:
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 ...
Date
:
02-01-2019
Format
:
video/mp4
Auteur
:
ROGNIER Benoit
Thème
:
Informatique
Type de la ressource pédagogique
:
cours / présentation
Niveau
:
master, formation continue
UNIT
Faites-vous confiance à votre thermostat ?
Description
:
Certains systèmes logiciels qui interagissent avec le monde réel ne doivent échouer sous aucun prétexte, au risque de provoquer des catastrophes. Comment s?assurer que ces systèmes sont sûrs ? En particulier, quel degré de confiance accorder au processus de traduction de ces logiciels vers du code e ...
Date
:
22-06-2022
Format
:
Document HTML
Auteur
:
Brun Lélio
Thème
:
Informatique
Type de la ressource pédagogique
:
cours / présentation, démonstration
Niveau
:
enseignement supérieur
Public
:
apprenant
Canal-u.fr
How to build quality software: the Eiffel experience
Description
:
With society?s growing reliance on IT systems, the ability to write high-quality software is ever more critical. While a posteriori verification techniques have their role, there is no substitute for methods and tools that provide built-in quality (?correctness by construction?) and scale up to very ...
Date
:
18-04-2017
Format
:
video/mp4
Auteur
:
MEYER Bertrand
Thème
:
Informatique, Informatique
Type de la ressource pédagogique
:
cours / présentation
Niveau
:
master, doctorat
UNIT
Les jeux à la rescousse de la vérification
Description
:
Les bugs informatiques peuvent parfois avoir des conséquences dramatiques, que ce soit sur le plan humain ou financier... Alors comment s'assurer que les logiciels font bien ce qu'ils sont censés faire ? C'est là qu'interviennent les méthodes formelles, une approche mathématique qui permet de prouve ...
Date
:
07-09-2023
Format
:
Document HTML
Auteur
:
Monmege Benjamin
Thème
:
Informatique
Type de la ressource pédagogique
:
cours / présentation, démonstration
Niveau
:
enseignement supérieur
Public
:
apprenant
Canal-u.fr
Ordonnancement pour systèmes temps réel : conception et vérification
Description
:
Un système informatique est dit "temps réel" dès qu'il doit répondre à un stimulus dans un délai donné. Les système informatiques embarqués dans les avions et les voitures sont ainsi soumis à des contraintes temps réel. Pour de tels systèmes, il faut concevoir et vérifier des techniques d'arbitrage ...
Date
:
13-02-2019
Format
:
video/mp4
Auteur
:
QUINTON Sophie
Thème
:
Informatique
Type de la ressource pédagogique
:
cours / présentation
Niveau
:
formation continue
Canal-u.fr
Pourquoi mon ordinateur calcule faux?
Description
:
Dans cet exposé Sylvie Boldo nous fait prendre conscience de l'importance des bugs en informatique et des conséquences historiques qu'ils ont pu engendrer. Elle se concentre ensuite sur les problèmes liés aux calculs numériques et montre de manière détaillée et constructive comment prendre la mesure ...
Date
:
16-06-2009
Format
:
video/mp4
Auteur
:
BOLDO Sylvie
Thème
:
Mathématiques, Informatique
Type de la ressource pédagogique
:
cours / présentation
Niveau
:
formation continue
Canal-u.fr
Propos liminaire (Introduction à la vérification de programme)
Description
:
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 ...
Date
:
02-01-2019
Format
:
video/mp4
Auteur
:
ROGNIER Benoit
Thème
:
Informatique
Type de la ressource pédagogique
:
cours / présentation
Niveau
:
master, formation continue
Afficher section
2
sur 2