Title: Étude méthodologique de la conception assistée par ordinateur des systèmes logiques