Précédent : Logiciels Remonter : Conception et validation de logiciels Suivant : Actions «aval»
Précédent : Logiciels Remonter : Conception et validation de
logiciels Suivant : Actions «aval»
Nous utilisons la dichotomie aval/amont pour présenter nos résultats récents: la partie «aval» regroupe nos travaux sur l'analyse (dynamique ou statique) de programmes et le test de logiciels; la partie «amont» traite des langages déclaratifs et des architectures de logiciels.
Prolog