Integrating Specifications: A Similarity Reasoning Approach.
George SpanoudakisPanos ConstantopoulosPublished in: Autom. Softw. Eng. (1995)
Keyphrases
- similarity based retrieval
- similarity measure
- knowledge representation
- finite state machines
- semantic similarity
- formal specification
- case based reasoning
- reasoning systems
- high level
- meta level
- distance measure
- qualitative reasoning
- automated reasoning
- structural similarity
- similarity measurement
- knowledge base
- causal reasoning
- uncertain information
- control flow
- functional requirements
- similarity metric
- artificial intelligence
- temporal reasoning
- distance metric
- euclidean distance