Executable Axiomatic Specification Using Functional Language -- Case Study: Ontology for a Spatio-Temporal Database (1997)

Cached

Download Links

by Andre U. Frank , Damir Medak
Citations:5 - 0 self

Active Bibliography

14 One Step up the Abstraction Ladder: Combining Algebras - From Functional Pieces to a Whole – Andrew U. Frank - 1999
4 Lifestyles - A Paradigm for the description of spatiotemporal databases – Dipl. -ing Damir Medak, Univ. -prof Dr, Andrew Frank, Department Of, Univ. -prof Dr, Thomas Eiter - 1999
9 The Prevalence of Objects with Sharp Boundaries in GIS – Andrew U. Frank - 1995
5 Specifications for Interoperability: Formalizing Image Schemata for Geographic Space – Andrew U. Frank, Martin Raubal - 1998
5 Formal Specification of Image Schemata - A Step to Interoperability in Geographic Information Systems – Andrew U. Frank, Martin Raubal - 1999
3 Radial Categories Applied to Object-Oriented Modeling - A Case Study for a Property Registration System – Andrew U. Frank - 1996
35 Subtyping and Polymorphism in Object-Role Modelling – T. A. Halpin, H. A. Proper - 1995
7 Landscape categories in yindjibarndi: Ontology, environment, and language – David M. Mark, Andrew G. Turk - 2003
6 The Rationality of Epistemology and the Rationality of Ontology – Andrew U. Frank - 2001
5 Functional polytypic programming | use and implementation – Patrik Jansson - 1997
Interface-Oriented Programming and Representation Inference – L. Robert Varney - 2005
12 Parallel Sets: An Object-Oriented Methodology for Massively Parallel Programming – Michael Francis Kilian - 1992
7 Spatial Theory for the Integration of Resolution-Limited Data – Beat (Bud) P. Bruegger - 1996
127 The Design and Implementation of the SELF Compiler, an Optimizing Compiler for Object-Oriented Programming Languages – Craig Chambers, John Hennessy, Mark Linton - 1992
5 On Multiple Inheritance in Java – Lorenzo Bettini, Michele Loreti, Betti Venneri - 2002
9 Using Automated Reasoning Techniques to Determine Software Reuse – Jun-Jang Jeng, Betty H.C. Cheng - 1992
23 Using Formal Methods to Construct a Software Component Library – Jun-Jang Jeng, Betty H.C. Cheng - 1993
3 TerraHS: Integration of Functional Programming and Spatial Databases for GIS Application Development – Sérgio Souza Costa, Gilberto Câmara, Danilo Palomo - 2006
3 Comparing Approaches for Semantic Service Description and Matchmaking – Sven Schade, Arnd Sahlmann, Michael Lutz, Florian Probst, Werner Kuhn - 2004