Rechercher une ressource pédagogique : treillis de Galois

Le moteur de recherche des ressources pédagogiques donne accès à un ensemble de documents mis à disposition par l'Université Numérique, les établissements d'enseignement supérieur et Canal U. Vous y trouverez des productions universitaires dans l'ensemble des domaines de formation.

FILTRES

2 résultats
section 1 sur 1
résultats 1 à 2
Canal-U
Canal-U
18.01.2012
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 ...
  • algorithmique
  • treillis de Galois
  • preuve de programme
  • analyse de programme
  • sémantique programmation
  • génie logiciel
Canal-U
Canal-U
18.01.2012
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 ...
  • algorithmique
  • treillis de Galois
  • preuve de programme
  • analyse de programme
  • sémantique programmation
  • génie logiciel