Reasoning and Refinement in Object-Oriented Specification Languages.
Kevin LanoHoward P. HaughtonPublished in: ECOOP (1992)
Keyphrases
- specification languages
- object oriented programs
- object oriented
- formal specification
- first order logic
- relational databases
- programming language
- reasoning tasks
- automated reasoning
- knowledge representation
- reasoning process
- database applications
- probabilistic reasoning
- knowledge base
- data model
- model based reasoning
- reasoning systems
- database design
- database
- object oriented databases
- source code
- software engineering
- legal reasoning
- query language
- analogical reasoning
- bayesian networks
- database systems
- artificial intelligence