Formal specification of a persistent object management system
- 31 May 1993
- journal article
- Published by Elsevier in Information and Software Technology
- Vol. 35 (5) , 277-286
- https://doi.org/10.1016/0950-5849(93)90061-7
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- Seven myths of formal methodsIEEE Software, 1990
- An introduction to Z and formal specificationsSoftware Engineering Journal, 1989
- Data model issues for object-oriented applicationsACM Transactions on Information Systems, 1987