See this document in CiteSeerX!

Domain Analysis of a System of Assessment of Natural Resource Usage (1999)  (Make Corrections)  (1 citation)
Jules-Raymond Tapamo



  Home/Search   Context   Related

 
View or download:
unu.edu/pub/techrepor...report179.ps.gz
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  unu.edu/home/Unuiist/newrh...page (more)
(Enter author homepages)

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

Abstract: Natural Resource Management is a critical problem for developing countries. We give in this work an architecture of a Decision Support System for the assessment of natural resource usage and a formal specification of its components. We describe how to assign resources to users to have good production, acceptable satisfaction of users and preservation of the environment. We do this in terms of a formal model of assignment, production, satisfaction and impact on environment which is used to... (Update)

Context of citations to this paper:   More

.... are available in UNU IIST s library and accessible via UNU IIST s web page ([9, 55, 24, 25, 40, 13, 58, 27, 5, 2, 49, 17, 31, 38, 6, 41, 10, 48, 50, 23, 47, 43, 52, 56, 51, 8, 54, 29, 60, 36, 37, 57]) 4.1.2 External Publications In 1999, a total of 25 papers written by UNU...

Cited by:   More
UNU/IIST Annual Report 1999 - Unu/iist (2000)   (Correct)

Active bibliography (related documents):   More   All
0.5:   Challenges in Domain Modelling Algebraic or Otherwise - Bjørner (1998)   (Correct)
0.5:   Formal Modelling of Spatial Information Systems. A Case Study: .. - Fouda, Moore (1998)   (Correct)
0.3:   AMIA: an environment for knowledge-based discrete-time.. - Michel Page Jrme   (Correct)

Similar documents based on text:   More   All
0.3:   A Formal Design of Online Ticketing System in UML - Li, Liu, Guo (2001)   (Correct)
0.3:   Specification of Software Systems for Managing Student.. - Zhendong, Moore (2000)   (Correct)
0.3:   A Prolog Prototype for the Synthesis of Verilog - Iyoda, He (2001)   (Correct)

BibTeX entry:   (Update)

Jules-Raymond Tapamo. Domain Analysis of a System of Assessment of Natural Resource Usage. Technical Report 179, UNU/IIST, P.O. Box 3058, Macau, November 1999. http://citeseer.ist.psu.edu/tapamo99domain.html   More

@misc{ tapamo99domain,
  author = "J. Tapamo",
  title = "Domain Analysis of a System of Assessment of Natural Resource Usage",
  text = "Jules-Raymond Tapamo. Domain Analysis of a System of Assessment of Natural
    Resource Usage. Technical Report 179, UNU/IIST, P.O. Box 3058, Macau, November
    1999.",
  year = "1999",
  url = "citeseer.ist.psu.edu/tapamo99domain.html" }
Citations (may not include all citations):
119   The RAISE Language Group. The RAISE Specification Language (context) - Language, RAISE et al. - 1992
110   Fundamentals of Spatial Information Systems (context) - Laurini, Thompson - 1995
71   Realm-based spatial data types: The rose algebra - Guting, Schneider - 1995
44   The Representation of Knowledge about Dynamical Systems (context) - Sandewall, Fluents - 1994
39   The RAISE Method Group. The RAISE Development Method (context) - Method, RAISE et al. - 1995
21   Engagement and cooperation in motivated agent modelling - Luck, d'Inverno - 1996
16   Decision Support and Expert Systems : Management Support Sys.. (context) - Turban - 1995
12   Database Design: The Semantic Modeling Approach (context) - Rishe - 1992
10   A formal computational model (context) - d'Inverno, Luck - 1998
8   An extended entity-relationship model for geographical appli.. - Hadzilacos, Tryfona - 1997
6   Conceptual Modelling (context) - Boman, Jr et al. - 1997
4   A formal basis for specifying object behaviour (context) - Bryant, Evans - 1996
4   Semantic integration of environmental models for application.. (context) - Mackay - 1999
3   Knowledge-based Decision Support Systems (context) - Klein, Methlie - 1995
2   DIS--based Decision Support Systems for Sustainable Developm.. (context) - Bjrner, Rais - 1996
2   An efficient construction of domain theory for resources man.. - Noussi - 1997
1   Social and Environmental Change in Sub-saharan Africa (context) - Benneh, Morgan et al. - 1996
1   Spatio-temporal modeling of complex geographical structures (context) - Bonfatti, Monari - 1994
1   Natural Resource and Environmental Information Decisionmakin.. (context) - Hassan - 1992
1   Reative Data Structures For Geographical Information Systems (context) - Van Oosteron - 1993
1   Integrated environment information and decision support syst.. (context) - Fedra - 1994
1   Spatial-temporal data types : An approach to modelling and q.. (context) - Erwig, Guting et al. - 1999
1   Semantic-model support for geographical information systems (context) - Ram, Park et al. - 1999

Documents on the same site (http://www.iist.unu.edu/home/Unuiist/newrh/III/1/page.html):   More
Compositional Reasoning Using the Assumption-Commitment Paradigm - Qiwen, Swarup (1998)   (Correct)
On Checking Timed Automata for Linear Duration Invariants - Braberman, Van Hung (1998)   (Correct)
Probabilistic Interval Temporal Logic - Guelev (1998)   (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