5 ressources en auto-formation : génie logiciel

FILTRES

5 résultats
page 1 sur 1
Résultats de 1 à 5
Présentation de la ressource en auto-formation Comment maîtriser la complexité des logiciels ? cours / présentation, démonstration
28/02/2017
Comment maîtriser la complexité des logiciels ?
Auteur(s) : Jézéquel Jean-Marc, Jongwane Joanna
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.
Présentation de la ressource en auto-formation Enseigner Ada : pourquoi ? à qui ? comment ? cours / présentation
01/01/2005
Enseigner Ada : pourquoi ? à qui ? comment ?
Auteur(s) : 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, Kaiser Claude, Pradat-Peyre Jean-François
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 ...
Présentation de la ressource en auto-formation La naissance du génie logiciel cours / présentation, démonstration
15/09/2014
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.
Présentation de la ressource en auto-formation Analyse de programmes : A quoi ça sert ? Comment ça marche ? : 2ème partie cours / présentation
Analyse de programmes : A quoi ça sert ? Comment ça marche ? : 2ème partie
Auteur(s) : GIRAULT Alain, JEANNET Bertrand
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 ...
Présentation de la ressource en auto-formation Analyse de programmes : A quoi ça sert ? Comment ça marche ? : 1ère partie cours / présentation
Analyse de programmes : A quoi ça sert ? Comment ça marche ? : 1ère partie
Auteur(s) : GIRAULT Alain, JEANNET Bertrand
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 ...