C'est quoi, au fond, l'informatique - SociÃ©tÃ© Informatique de France

More documents

Recommendations

Info

Vérification par analyse statiqueIdée : déterminer des propriétés dynamiques d’un système, sansexécuter son programme✤ Model checking (Clarke, Emerson, Sifakis)Modéliser le système par un graphe de transition d’étatsVérifier que le modèle satisfait une spécification (en logiquetemporelle)© 2010, S. Krakowiak Congrès Specif 2010 19
Vérification par analyse statiqueIdée : déterminer des propriétés dynamiques d’un système, sansexécuter son programme✤ Model checking (Clarke, Emerson, Sifakis)Modéliser le système par un graphe de transition d’étatsVérifier que le modèle satisfait une spécification (en logiquetemporelle)✤ Interprétation abstraite (Cousot)Modéliser l’évolution du système par ses traces d’exécutionDéfinir des sémantiques à divers niveaux d’approximationRésoudre l’équation (de point fixe) traduisant une propriété© 2010, S. Krakowiak Congrès Specif 2010 19
Page 5 and 6:
L’informatique, une science de l
Page 7:
Au cœur de l’informatique, l’a
Page 18 and 19:
Notre cahier des chargesUn algorith
Page 20 and 21:
Page 22 and 23:
Page 24 and 25:
Quelques forces qui façonnent l’
Page 26 and 27: Quelques forces qui façonnent l’
Page 28 and 29: Maîtriser la complexité✤ Un out
Page 30 and 31: Maîtriser la complexité✤ Un out
Page 32 and 33: Abstractions du calcul (séquentiel
Page 34 and 35: Abstractions du calcul (séquentiel
Page 36 and 37: En quête du “langage idéal”
Page 38 and 39: En quête du “langage idéal”
Page 40 and 41: Un concept unificateur : les types
Page 42 and 43: Un concept unificateur : les types
Page 44 and 45: Un autre concept unificateur : la m
Page 46 and 47: Un autre concept unificateur : la m
Page 48 and 49: Des procédures aux composants© 20
Page 50 and 51: Des procédures aux composantsIsola
Page 52 and 53: Des procédures aux composantsIsola
Page 54 and 55: Architecture logicielle✤ Descript
Page 60 and 61: Interfacesclientfournisseurint. req
Page 62 and 63: InterfacescontratconformitéContrat
Page 64 and 65: La virtualisation, transformateur d
Page 66 and 67: Exemple de virtualisation : la mém
Page 68 and 69: Exemple de virtualisation : la mém
Page 70 and 71: En quête de la validité …Pour u
Page 78 and 79: Vérification par analyse statiqueI
Page 80 and 81: Spécification, construction, preuv
Page 86 and 87: B, une méthode de construction de
Page 92 and 93: Coq, un assistant de preuve© 2010,
Page 94 and 95: Coq, un assistant de preuve✤ Base
Page 96 and 97: Vérification d’un compilateur✤
Page 98 and 99: Vérification d’un compilateur✤
Page 100 and 101: Vérification d’un noyau de syst
Page 110 and 111: Comprendre et domestiquer le parall
Page 116 and 117: Le parallélisme, un univers fragme
Page 118 and 119: Le parallélisme, un univers fragme
Page 120 and 121: Asynchronisme : premières avancée
Page 122 and 123: Asynchronisme : premières avancée
Page 124 and 125: Asynchronisme : une solution radica
Page 126 and 127:
Asynchronisme : une solution radica
Page 128 and 129:
Modèles du parallélisme© 2010, S
Page 130 and 131:
Modèles du parallélisme✤ Calcul
Page 132 and 133:
Parallélisme pratique à grande é
Page 134 and 135:
Un canevas pour le calcul parallèl
Page 136 and 137:
Page 138 and 139:
Page 140 and 141:
Page 142 and 143:
Faire face à l’imprévu✤ Défa
Page 144 and 145:
Faire face à l’imprévu✤ Défa
Page 146 and 147:
Transactions (1)✤ Problème : mai
Page 148 and 149:
Transactions (1)✤ Problème : mai
Page 150 and 151:
Transactions (2)✤ OutilsAccès co
Page 152 and 153:
Transactions (2)✤ OutilsAccès co
Page 154 and 155:
Tolérance aux fautes✤ Fautes, er
Page 156 and 157:
Tolérance aux fautes✤ Fautes, er
Page 158 and 159:
Abstractions pour un service dispon
Page 160 and 161:
Abstractions pour un service dispon
Page 162 and 163:
Brève histoire du consensus✤ Pan
Page 164 and 165:
Brève histoire du consensus✤ Pan
Page 166 and 167:
Tolérance aux fautes à grande éc
Page 168 and 169:
Page 170 and 171:
Page 172 and 173:
Observations finales✤ Succès cro
Page 174 and 175:
Observations finales✤ Succès cro
Page 176 and 177:
Pistes pour l’enseignement© 2010
Page 178 and 179:
Pistes pour l’enseignement✤ Ne
Page 180 and 181:
Pistes pour l’enseignement✤ Ne
Page 182 and 183:
C’est quoi, au fond, l’informat
Page 184 and 185:
Page 186 and 187:
show all

C'est quoi, au fond, l'informatique - SociÃ©tÃ© Informatique de France

You also want an ePaper? Increase the reach of your titles

Delete template?

Save as template?