An innovative teaching tool based on semantic tableaux for verification and debugging of programs.
Rafael del Vado VírsedaFernando Pérez MorentePublished in: ITiCSE (2011)
Keyphrases
- hardware designs
- programming exercises
- e learning
- symbolic execution
- distance learning
- learning process
- java programs
- semantic annotation
- modal logic
- object oriented programming
- natural language
- decision procedures
- high level
- information visualization
- computer programming
- computer programs
- model checking
- higher education
- online learning
- model based diagnosis
- concept maps
- learning analytics
- distance education
- functional dependencies
- thinking skills
- learning environment