Keyphrases
- computer programs
- software tools
- formal methods
- propositional logic
- data entry
- learning environment
- data model
- free software
- decision support
- building blocks
- relational algebra
- algebraic geometry
- visualization tools
- design tools
- theorem prover
- answer sets
- software systems
- test cases
- software engineering
- data warehouse
- knowledge representation
- end users
- relational databases