Reasoning on requirement specifications: a deductive approach.
Kacem ZeroualPublished in: COMPSAC (1989)
Keyphrases
- deductive reasoning
- abductive inference
- reasoning systems
- knowledge base
- meta level
- reasoning process
- specification language
- formal specification
- data sets
- reasoning tasks
- delay insensitive
- object oriented
- knowledge representation
- automated reasoning
- qualitative reasoning
- knowledge representation and reasoning
- formal models
- model based reasoning
- rule based reasoning
- high level
- decision making
- neural network