(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