DADES/GP: a prototype generator from deductive conceptual models of information systems

We show that deductive conceptual models of information systems are a valid alternative to the usual operational models, and that they offer a number of advantatges. We describe the main features of DADES, as a particular example of deductive language. We also present the architecture of DADES/GP, an automatic prototype generator from models written in DADES.