Agile Dates - Lieu Modeling Processes Defined By Laws Gerhard Navratil,...  Home/Search
Context
Related
| geoinfo.tuwien.ac....avratil03AGILE.pdf Cached: 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.
PS.gz PS Image Update HelpFrom: geoinfo.tuwien.ac.at/pub...pubfra (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: specifications allow reusing the code which allows the designers to concentrate on the specific problems of the program without having to deal with standard tasks for too long. Using different classes allows the separation of the problem into smaller parts which can be modeled independent from each other. A combination of these algebras as described in [16] then leads to the specification of the whole problem. Algebraic specifications are also language independent, although they require a... (Update)
Active bibliography (related documents): More All
0.5: An Open Approach for Data Integration - Boudjlida, Perrin (1995) (Correct)
0.5: Improvement of Vector Representations of Legal.. - Schweighofer.. (2002) (Correct)
0.4: Formalisation of Spatial Standards - Nittel, Winter, Winter (Correct)
Similar documents based on text: More All
0.2: The Production of Geographic Information - The Value Tree - Krek, Frank (Correct)
0.2: Agent-Based Simulation of Human Wayfinding: A Perceptual Model.. - Raubal (2001) (Correct)
0.2: Geographical Domain and Geographical Information Systems - (ed.) (2000) (Correct)
BibTeX entry: (Update)
@misc{ lieu-proceedings,
author = "Agile Dates Lieu",
title = "Proceedings of the 6",
url = "citeseer.ist.psu.edu/578812.html" }
Citations (may not include all citations):88 Software's Chronic Crisis (context) - Gibbs - 1994
40 Specification of Abstract Data Types (context) - Loeckx, Ehrich et al. - 1996
28 The British Nationality Act as a Logic Program (context) - Sergot, Sadri et al. - 1986
10 Specifying Open GIS with Functional Languages - Frank, Kuhn - 1995
3 One step up the abstraction ladder: Combining algebras - fro.. - Frank - 1999
3 Legal Knowledge Engineering; A Modelling Approach (context) - Valente - 1995
2 Current Trends in Programming Methodology (context) - Guttag, Horowitz et al. - 1978
2 Frame-Based conceptual Models of Statute Law (context) - van Kralingen - 1995
1 Formal Information Modelling for Standardization in the Spat.. (context) - Winter, Nittel
1 Knowledge Specification for Multiple Legal Tasks; A Case Stu.. (context) - Visser - 1995
1 war tun und was knnen Formalisierungen im Recht (context) - Morscher - 1988
1 Proposal for a Dutch Legal XML Standard - Boer, Hoekstra et al. - 2002
1 Grundzge einer Normentheorie (context) - Lachmayer - 1977
1 Agent-based Simulation of Human Wayfinding: A Perceptual Mod.. - Raubal - 2001
1 Vienna: Institute for Geoinformation (context) - Navratil, Formalisierung - 2002
1 The Wayfinding Metaphor - Comparing the Semantics of Wayfind.. (context) - Hochmair - 2002
Documents on the same site (http://www.geoinfo.tuwien.ac.at/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