Formalization of conceptual models for GIS using Gofer
- 1 March 1995
- journal article
- Published by Elsevier in Computers, Environment and Urban Systems
- Vol. 19 (2) , 89-98
- https://doi.org/10.1016/0198-9715(95)00013-x
Abstract
No abstract availableKeywords
This publication has 2 references indexed in Scilit:
- On understanding types, data abstraction, and polymorphismACM Computing Surveys, 1985
- Abstract data types and software validationCommunications of the ACM, 1978