Abstraction et raffinement

L’objectif de ce cours est de présenter les concepts et techniques d’abstraction et de raffinement qui sont des approches duales qui peuvent être intégrées dans un même cadre de développement de systèmes. Ces approches sont étudiées et développées dans le cadre de différentes applications comme les diagrammes de prédicats, l’analyse de programmes mais aussi la fouille de données.

Sujets abordés

  • Fondements mathématiques : structures partiellement ordonnées, points-fixes, connexions de Galois
  • Abstraction et raffinement d’un système : modèle abstrait (événements, actions, relations, propriétés, systèmes d’action), interprétation abstraite, raffinement de modèles
  • Applications : analyse de programmes, fouille de données, diagrammes de prédicats