Approche transformationnelle du développement des systèmes experts

: Une démarche d'analyse des besoins en ALBERT et de spécification abstraite de solution en KIF d'un problème de planification