A semantics of multiple inheritance.
Proc. of the international symposium on Semantics of data types
Object-oriented modeling and design
Object-oriented modeling and design
Object-oriented analysis (2nd ed.)
Object-oriented analysis (2nd ed.)
A research typology for object-oriented analysis and design
Communications of the ACM - Special issue on analysis and modeling in software development
Applying object-oriented analysis and design
Communications of the ACM - Special issue on analysis and modeling in software development
A comparative study of object-oriented analysis methods
Journal of Object-Oriented Programming
TIGRIS: a data model for an object-oriented geographic information system
Computers & Geosciences - Special issue on GIS design models
Object-oriented analysis and design with applications (2nd ed.)
Object-oriented analysis and design with applications (2nd ed.)
A theory of primitive objects: second-order systems
ESOP '94 Selected papers of ESOP '94, the 5th European symposium on Programming
A theory of primitive objects: untyped and first-order systems
Information and Computation - special issue: symposium on theoretical aspects of computer software TACS '94
Theory and Practice of Object Systems - Special issue: type systems
Bisimilarity for a first-order calculus of objects with subtyping
POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Objects and classes, co-algebraically
Object orientation with parallelism and persistence
Formal Object-Oriented Development
Formal Object-Oriented Development
A Theory of Objects
Describing, Structuring and Implementing Objects
Proceedings of the REX School/Workshop on Foundations of Object-Oriented Languages
Spatial data quality capture throughinductive learning
Spatial Cognition and Computation
Hi-index | 0.01 |
The use of object-oriented analysis and design (OOAD) in GIS research, development and application is now well established. However, the tendency towards informality in OOAD techniques means many of the potential benefits of object-orientation (OO) are being discounted. Recent advances in the formal representation of OO systems may help realize these benefits with respect to some of the key contemporary issues in GIS. This paper examines the application of one particular OO formalism, the ς (sigma) calculus of Abadi and Cardelli, to a long-standing unresolved research problem in GIS: the development of an error-sensitive GIS. The work indicates that significant enhancements in the exploration, verification and understanding of OO systems can be achieved through the use of ς-calculus in support of conventional OOAD techniques.