Précédent : Domaines d'applications Remonter : Conception de programmes et systèmes Suivant : Tempo, un évaluateur partiel pour