Résumé :
Dans le contexte d'une conception par raffinements successifs, nous
nous intéressons à la réalisation d'un
environnement d'assistance au développement de programmes
répartis. Basé sur le formalisme UNITY, ce
système s'attache au maintien de la cohérence entre un
programme et sa spécification. Il réalise pour cela une
traduction des contraintes de la spécification en logique des
prédicats et fait usage d'un démonstrateur automatique
de théorèmes pour la gestion des formules obtenues.
Michel Charpentier <
>
Last modified: Thu Feb 10 13:36:53 EST 2000