Quantitative risk-based requirements reasoning.
Martin S. FeatherSteven L. CornfordPublished in: Requir. Eng. (2003)
Keyphrases
- reasoning systems
- risk management
- reasoning tasks
- user requirements
- meta level
- functional requirements
- deductive reasoning
- automated reasoning
- quantitative and qualitative
- qualitative and quantitative
- description logics
- knowledge representation
- multi agent
- knowledge base
- application specific
- risk assessment
- qualitative reasoning
- qualitative models
- natural language
- real time systems
- computational properties
- knowledge representation and reasoning
- portfolio optimization
- machine learning