Spécification d'algorithme

• Algorithme : ordre total et ordre partiel
• Modèles de graphe orienté pour la spécification d'algorithme
• Graphe flot de contrôle, graphe flot de données
• Parallélisme potentiel et temps logique
• Limites des langages classiques de spécification
• Langages Synchrones, ESTEREL, LUSTRE, SIGNAL
• Le langage flot de données synchrone SIGNAL
• Exemples de spécification avec SIGNAL