Andre U. Frank, Damir Medak  Home/Search
Context
Related
| geoinfo.tuwien.ac.at/frank/axioms.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: geoinfo.tuwien.ac.at/per...pubfra (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Formal specifications are difficult to read.Executable specifications allow to see the behavior of the specified objects and help the domain specialist to detect errors quickly. We present here a method which allows to write axiomatic specifications which can be executed and discuss the limitations in expressive power imposed by the restriction to constructive axioms and how it can be circumvented. The method results from practical efforts to formalize the meaning of object types for Geographic ... (Update)
Active bibliography (related documents): More All
0.9: Type-Secure Meta-Programming - Christopher Bentley Dornan (1998) (Correct)
0.4: Formal Specification of Image Schemata - A Step to.. - Frank, Raubal (1999) (Correct)
0.4: Formal Specifications of Image Schemata for.. - Andrew U. Frank.. (Correct)
Similar documents based on text: More All
0.1: Geographic Information Business in the Next Century - Frank (1997) (Correct)
0.1: Economic Optimisation of Quality for Geoinformation Product - Krek, Frank (Correct)
0.1: The Production of Geographic Information - The Value Tree - Krek, Frank (Correct)
BibTeX entry: (Update)
@misc{ frank-executable,
author = "Andre U. Frank and Damir Medak",
title = "Executable Axiomatic Specification Using Functional Language - Case Study:
Ontology for a Spatio-Temporal Database",
url = "citeseer.ist.psu.edu/frank97executable.html" }
Citations (may not include all citations):1286 Object-Oriented Modeling and Design (context) - Rumbaugh - 1991
1274 Object-Oriented Software Construction (context) - Meyer - 1988
809 A Theory of Type Polymorphism in Programming (context) - Milner - 1978
403 Approaching the Issue of Information Loss in Geographic Data.. (context) - Kuhn - 1987
388 On Understanding Types (context) - Cardelli - 1985
359 The Implementation of Functional Programming Languages: Pren.. (context) - Jones - 1987
160 Abstraction and Specification in Program Development (context) - Liskov - 1986
150 Report on the functional programming language Haskell (context) - Hudak - 1992
76 Foundations of Cognitive Grammar (context) - Langacker - 1987
71 Report on the functional programming language Haskell (context) - John, Hammond - 1996
40 Qualified Types: Theory and Practice (context) - Jones - 1994
38 Algebraische Spezifikation abstrakter Datentypen (context) - Ehrich, Gogolla - 1989
38 Functional Programming with Overloading and Higher-Order Pol.. - Jones - 1995
30 Types and Structures - An Introduction to Category Theory fo.. (context) - Asperti - 1991
24 Software Engineering Mathematics (context) - Woodcock - 1989
21 Information Modeling: The EXPRESS Way (context) - Schenck - 1994
14 Natural categories (context) - Rosch - 1973
11 Toward a Theoretical Framework for Geographic Entity Types (context) - Mark - 1993
10 Heterogeneous Algebras (context) - Birkhoff - 1970
10 Specifying Open GIS with Functional Languages - Frank - 1995
9 Defining Semantics for Spatial Data Transfers (context) - Kuhn - 1994
7 Using Hierarchical Spatial Data Structures for Hierarchical .. (context) - Frank
5 formal approach to the design of cadastral systems (context) - Frank
5 Land Information Management (context) - Dale - 1988
4 Advanced Functional Programming (context) - Jeuring - 1995
3 Universal Algebra (context) - Birkhoff - 1945
1 An Introduction to Gofer: Report (context) - Jones - 1991
1 Semantics of Geographic Information (context) - Kuhn - 1995
1 Spatial data exchange and standardization (context) - Guptill - 1991
1 Hierarchical Spatial Reasoning (context) - Frank
1 Larch in Five Easy Pieces: Digital Equipment Corporation (context) - Guttag, Horning et al. - 1985
1 Geographic Information Systems: Principles and Applications (context) - Executable, Maguire et al. - 1991
1 Object-Oriented Systems (context) - Lochovsky - 1986
1 Aspects of the mereology of artifacts (context) - Simons - 1996
1 The Netherlands: Kluwer Academic Publishers (context) - Poli - 1977
Documents on the same site (http://www.geoinfo.tuwien.ac.at/persons/frank/../../publications/frank/pubfra.asp): More
Economic Optimisation of Quality for Geoinformation Product - Krek, Frank (Correct)
Interoperability and Workflow: Multi-Agency Databases - Müller, Frank (Correct)
Price Determination for Geographic Data - Krek, Frank (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC