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} }
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
Topics from this paper
2 Citations
References
SHOWING 1-10 OF 16 REFERENCES
From an ERAE Requirements Specification to a PLUSS Algebraic Specificatiaon: A Case Study
- Computer Science
- Algebraic Methods
- 1989
- 9
How to Make Algebraic Specifications More Understandable: An Experiment with the PLUSS Specification Language
- Computer Science
- Sci. Comput. Program.
- 1989
- 41
Fundamentals of Algebraic Specification 1
- Computer Science
- EATCS Monographs on Theoretical Computer Science
- 1985
- 888
Handling Function Definitions through Innermost Superposition and Rewriting
- Mathematics, Computer Science
- RTA
- 1985
- 18