Computer tools to teach formal reasoning.
Pat FungTim O'SheaDoug GoldsonSteve ReevesRichard BornatPublished in: Comput. Educ. (1996)
Keyphrases
- formal models
- computer programming
- formal methods
- computer networking
- meta level
- software tools
- knowledge base
- computer systems
- computer forensics
- spatial reasoning
- knowledge representation
- user friendly
- building blocks
- qualitative reasoning
- reasoning systems
- data sets
- software components
- decision support
- logical reasoning
- model based reasoning
- knowledge processing
- metadata
- reasoning process
- data model
- domain knowledge
- computer programs
- formal specification
- logic programs
- computer technology
- formal model