 |
The Jape Visualisation Project |
- 500 word summary of project
- Summary of findings (pdf, 70k)
- Papers
- Surveys
- Work area (private)
This project is part of a research programme investigating the role of visualisation in software design. The current 18-month phase of the research is looking at the effectiveness of a particular tool - called Jape - in supporting the learning of formal reasoning. We are particularly interested in the cognitive processes at work when students work on proofs.
has been written by Richard
Bornat (of Middlesex University) and Bernard
Sufrin (of the Oxford Computing Lab). The program
enables students to construct, revise and test formal
proofs.
The Jape website is at www.jape.org.uk