Analogical approach to specification derivation.
Kanth MiriyalaMehdi T. HarandiPublished in: IWSSD (1989)
Keyphrases
- formal specification
- specification language
- high level
- qualitative reasoning
- neural network
- provably correct
- artificial neural networks
- analogical reasoning
- conceptual model
- formal verification
- analogy making
- structural descriptions
- code generation
- formal methods
- background knowledge
- programming language
- expert systems
- computer vision
- artificial intelligence