Abstract FR:

Presentation d'une methodologie de synthese interactive des systemes logiques complexes a partir d'un cahier des charges modelise par un ensemble de grafcets structures et hierarchises. Cette methodologie est independante de la technologie de fabrication et peut representer un systeme logique quelconque; implantee en langage lisp, elle s'articule autour d'une base de donnee dont le systeme de gestion est defini