An Approach for Reasoning and Refining Non-Functional Requirements.
Nelson Souto RosaPaulo Roberto Freire CunhaPublished in: J. Braz. Comput. Soc. (2004)
Keyphrases
- consistency checking
- reasoning systems
- knowledge base
- knowledge representation
- fuzzy reasoning
- qualitative reasoning
- multi agent decision making
- legal reasoning
- reasoning process
- meta level
- multi agent systems
- reasoning tasks
- automated reasoning
- probabilistic logic
- computational properties
- e learning
- approximate reasoning
- neural network
- formal models
- analogical reasoning
- model based reasoning
- proof theory
- deductive reasoning
- conflicting information
- databases