• DOI:10.1007/3-540-52531-9_141
Corpus ID: 26340938

The design and specification of the ASSPEGIQUE database

@inproceedings{Bidoit1990TheDA,
  title={The design and specification of the ASSPEGIQUE database},
  author={M. Bidoit and Francis Capy and C. Choppy},
  booktitle={DISCO},
  year={1990}
}

M. Bidoit, Francis Capy, C. Choppy

Published in DISCO 1990

Computer Science

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

View via Publisher

Save to Library

Create Alert

Cite

Launch Research Feed