|
|
The Jape Visualisation Project |
|
|||
These papers are in pdf format, and so Adobe Acrobat Reader is required to view them (preferably version 4 or above).
|
BJET03 222k |
Aczel, J. C., Fung, P., Bornat, R., Oliver, M., O’Shea, T., & Sufrin, B. (2003) "Software that assists learning within a complex abstract domain: the use of constraint and consequentiality as learning mechanisms", British Journal of Educational Technology, Vol. 34, No. 5, pp. 625-638, ISSN: 0007-1013 |
CALRG00 (report) 2MB CALRG00app (appendix) 220k |
Aczel, J. C. (2000) "The Evaluation of a Computer Program for Learning Logic: The Role of Students' Formal Reasoning Strategies in Visualising Proofs", CALRG Technical report 192. Computers and Learning Research Group, Institute of Educational Technology, The Open University, Milton Keynes, UK |
|
ICCE99 49k |
Aczel, J. C., Fung, P., Bornat, R., Oliver, M., O’Shea, T., & Sufrin, B. (1999) "Using computers to learn logic: undergraduates’ experiences" in Cumming, G., Okamoto, T. & Gomez, L. (eds.) Advanced Research in Computers and Communications in Education: Proceedings of the 7th International Conference on Computers in Education, Amsterdam, IOS Press |
|
INTERACT99 (poster) 312k |
Aczel, J. C., Fung, P., Bornat, R., Oliver, M., O’Shea, T., & Sufrin, B. (1999) "Influences of Software Design on Formal Reasoning", in Brewster, S., Cawsey, A. & Cockton, G. (Eds.) Proceedings of IFIP TC.13 International Conference on Human-Computer Interaction INTERACT '99, Vol. 2, pp. 3-4, Swindon, UK, British Computer Society, ISBN 1-902505-19-0 |
|
CALRG99 (slides) 428k |
Aczel, J. C., Oliver, M. & Fung, P. (1999) "Progressive Refinement of Formal Reasoning Strategies using Software for Learning Logic", Proceedings of the 20th anniversary conference of the Computers and Learning Research Group, The Open University, June 1999 |
|
SRC99 (abstract) 16k |
Aczel, J. C. & Fung, P. (1999) "Evaluation of a software tool for supporting formal reasoning", Proceedings of the day conference of the Student Research Centre, Feb 1999, Institute of Educational Technology, |
|
BSRLM99 (slides) 30k |
Aczel, J. C., Fung, P., Bornat, R., Oliver, M., O’Shea, T., & Sufrin, B. (1999) "Undergraduates' Computer-Assisted Formal Reasoning", Presentation to the day conference of the British Society for Research into Learning Mathematics, Feb 1999 |
|
PPIG99 36k |
Aczel, J. C., Fung, P., Bornat, R., Oliver, M., O’Shea, T., & Sufrin, B. (1999) "Computer Science Undergraduates Learning Logic Using a Proof Editor: Work in Progress", Proceedings of the Psychology of Programming Interest Group, University of Leeds |
|
TCJ99 |
Bornat R. & Sufrin B.A. (1999) "Animating formal proof at the surface: the Jape proof calculator", The Computer Journal, 43(3), 177-192 |
|
ELT98 23k |
Aczel, J., Fung, P., Bornat, R., Oliver, M., O'Shea, T. & Sufrin, B. (1998) "The effectiveness of visualisation tools in supporting the learning of formal reasoning for software development". In Oliver, M. (Ed), ELT 98: Innovation in the Evaluation of Learning Technology: Conference proceedings, pp. 31-34, University of North London. |
|
CITE92 |
Fung, P. & O'Shea, T. (1992) "Using Software Tools to Learn Formal Reasoning: a first assessment", CITE Report No. 168, The Open University |
|
UITP98 59k |
Sufrin, B. & Bornat, R. (1998) "User Interfaces for Generic Proof Assistants: Part 2: Displaying Proofs", Proceedings of UITP-98 |
|
QMW97 93k |
Bornat, R. & Sufrin, B. (1997) "Animating the formal proof at the surface: experience with the Jape proof calculator", Technical Report, Department of Computer Science, Queen Mary & Westfield College, University of London |
|
UITP96a 42k |
Bornat, R. & Sufrin, B. (1996) "Jape's Quiet Interface", Proceedings of UITP-96 |
|
UITP96b 106k |
Sufrin, B. & Bornat, R. (1996) "User Interfaces for Generic Proof Assistants: Part I: Interpreting Gestures", Proceedings of UITP-96 |
|
IJMEST93 |
Fung, P., O'Shea, T., Goldson, D., Reeves, S. & Bornat, R. (1993) "Computer Science Students' Perceptions of Learning Formal Reasoning Methods", International Journal of Mathematical Education in Science and Technology, 24 (5), 749-760 |
|
JCAL94 |
Fung, P., O'Shea, T., Goldson, D., Reeves, S. & Bornat, R. (1994) "Why computer science students find formal reasoning frightening", Journal of Computer Assisted Learning, 10, 240-250 |
|
CiE96 |
Fung, P., O'Shea, T., Goldson, D., Reeves, S. & Bornat, R. (1996) "Computer tools to teach formal reasoning", Computers in Education, 27 (1), 59-69 |
|
Bornat, R. (1998) "Using ItL Jape with X. Third Edition, Jape version 3.2", Department of Computer Science, QMW |
|
|
Bornat, R. (1997) "Using ItL Jape with MacOS. Fourth Edition, Jape version 3.2", Department of Computer Science, QMW |
This page last modified: 10 March 2000
