Précédent : Problèmes ouverts et perspectives Remonter : Environnement de programmation d'applications temps Suivant : Spécification et programmation synchrone