Etude méthodologique de la conception assistée par ordinateur des systèmes logiques : CASSANDRE