CASSANDRE and the Computer Aided Logical Systems Design

CASSANDRE represents both a language for Computer Aid design. Simulation of logical Systems, their Analysis, Description and Realisation as well as a programming system designed for conversational processing and elaboration of a machine described in this language. This paper is mainly devoted to the definition of the language and the description of some applications.