Recherche en cours
Par mots-clef
=
génie logiciel
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.
9
résultats
section 1-1
sur 1
résultats
1 à 9
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
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
Enseigner Ada : pourquoi ? à qui ? comment ?
Description
:
A l'initiative de l'association Ada-France, ce texte est une réflexion sur les qualités pédagogiques (mais aussi professionnelles) du langage de programmation Ada normalisé en 1983, mais surtout, joliment réactualisé en 1995 ce qui lui a redonné une longueur d'avance avec les plus actuels. Les arg ...
Date
:
01-01-2005
Format
:
Document HTML
Auteur
:
Feneuille Daniel, Rosen J. P., Tardieu Samuel, Rivière Stéphane, Obry Pascal, Minguillon Denis, Valarcher Pierre, Kermarrec Yvon, Pignard P., Charlet A., Draghi Lionel, Pautet Laurent, Zaffalon Luigi, Breguet Pierre, Canesi Gérard ...
Thème
:
Informatique
Type de la ressource pédagogique
:
cours / présentation
Niveau
:
formation continue, autres
Public
:
enseignant, gestionnaire
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
Installer et utiliser des gitlab runners
Description
:
Baptiste Mary exposera dans ce Café comment déployer et se servir de gitlab runners pour effectuer de l'intégration continue avec gitlab. L'intégration continue permet d'automatiser n'importe quel processus lors de la validation d'un commit. Ces processus sont classiquement des compilations et/ou d ...
Date
:
18-02-2021
Format
:
video/mp4
Thème
:
000
Type de la ressource pédagogique
:
cours / présentation
Niveau
:
enseignement supérieur
UNIT
La naissance du génie logiciel
Description
:
À la fin des années 1960 éclate la « crise du logiciel », prise de conscience des difficultés que rencontre le développement des grands projets informatiques. De ce constat va naître une nouvelle discipline, le génie logiciel.
Date
:
19-08-2014
Format
:
Document HTML
Thème
:
Informatique
Type de la ressource pédagogique
:
cours / présentation, démonstration
Niveau
:
enseignement supérieur
Public
:
apprenant
Canal-u.fr
Le calcul parallèle pour tous pour la méthode des éléments finis
Description
:
Ce Café est réalisé par Frédéric Nataf ou il montre que le calcul scientifique parallèle est de plus en plus accessible à tous les utilisateurs. Cela est dû à la conjonction de la disponibilité grandissante des moyens de calcul parallèle et à l?intégration dans les codes de calcul des algorithmes pa ...
Date
:
08-03-2021
Format
:
video/mp4
Thème
:
000
Type de la ressource pédagogique
:
cours / présentation
Niveau
:
enseignement supérieur
Canal-u.fr
Pourquoi Julia ?
Description
:
Pour ce Café, nous accueillons François Févotte Sa présentation prendra la forme d'une démonstration visant à illustrer l'approche retenue par Julia pour résoudre le "problème des deux langages". Nous passerons en revue et commenterons deux petits morceaux de code Julia illustrant: le scriptin ...
Date
:
08-04-2021
Format
:
video/mp4
Thème
:
000
Type de la ressource pédagogique
:
cours / présentation
Niveau
:
enseignement supérieur
Afficher section
2
sur 1