The design and specification of the ASSPEGIQUE database

@inproceedings{Bidoit1990TheDA,
  title={The design and specification of the ASSPEGIQUE database},
  author={Michel Bidoit and Francis Capy and Christine Choppy},
  booktitle={DISCO},
  year={1990}
}
Among the design issues for symbolic computation systems, a non trivial one is the design of the database where informations (specifications, proofs, test sets, program modules, etc.) that are necessary to use the various tools available are stored. In this paper we address the design of a database for an algebraic specification environment, and provide an algebraic specification for this database management. One of the issues in this design is to distinguish between “static” aspects, i.e. the… CONTINUE READING