Specification and refinement in an integrated database application environment
- 1 January 1991
- book chapter
- Published by Springer Nature
- p. 496-510
- https://doi.org/10.1007/3-540-54834-3_29
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- Towards a Structured Specification Language for Database ApplicationsPublished by Springer Nature ,1992
- Predicate Calculus and Program SemanticsPublished by Springer Nature ,1990
- A language facility for designing database-intensive applicationsACM Transactions on Database Systems, 1980