See this document in CiteSeerX!

Proceedings of the 6  (Make Corrections)  
Agile Dates - Lieu Modeling Processes Defined By Laws Gerhard Navratil,...



  Home/Search   Context   Related

 
View or download:
geoinfo.tuwien.ac....avratil03AGILE.pdf
Cached:  PDF   PS.gz  PS  Image  Update  Help

From:  geoinfo.tuwien.ac.at/pub...pubfra (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

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