3 résultats : treillis de Galois

Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.
3 résultats
page 1 sur 1
résultats 1 à 3
Canal-U
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 ...
Mots clés : algorithmique, treillis de Galois, preuve de programme, analyse de programme, sémantique programmation, génie logiciel
Date : 18-01-2012
Droits : Droits réservés à l'éditeur et aux auteurs. Document libre, dans le cadre de la licence Creative Commons (http://creativecommons.org/licenses/by-nd/2.0/fr/), citation de l'auteur obligatoire et interdiction de désassembler (paternité, pas de modification)
 En savoir plus
 Description complète
Analyse de programmes : A quoi ça sert ? Comment ça marche ? : 1ère partie
 Ajouter à mon panier
Accéder aux documents
Canal-U
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 ...
Mots clés : algorithmique, treillis de Galois, preuve de programme, analyse de programme, sémantique programmation, génie logiciel
Date : 18-01-2012
Droits : Droits réservés à l'éditeur et aux auteurs. Document libre, dans le cadre de la licence Creative Commons (http://creativecommons.org/licenses/by-nd/2.0/fr/), citation de l'auteur obligatoire et interdiction de désassembler (paternité, pas de modification)
 En savoir plus
 Description complète
Analyse de programmes : A quoi ça sert ? Comment ça marche ? : 2ème partie
 Ajouter à mon panier
Accéder aux documents
Canal-U
Emois Nancy 2009 : Evaluation de la qualité des données des RSA
Description : Emois Nancy 2009 : PMSI et épidémiologie Comment évaluer la qualité des données de bases régionales ou nationales des RSA en vue d'une utilisation épidémiologique à partir de l'analyse formelle de concept et des treillis de Galois. N. Jay, F. Kohler SCD Médecine.
Mots clés : épidémiologie, algorithme, PMSI, RSA, chaînage, Emois Nancy 2009, treillis de Galois
Date : 05-03-2009
Droits : Droits réservés à l'éditeur et aux auteurs.
 En savoir plus
 Description complète
Emois Nancy 2009 : Evaluation de la qualité des données des RSA
 Ajouter à mon panier
Accéder aux documents