Biblio

Found 7 results
Filters: Author is Tim O'Shea  [Clear All Filters]
Paper
J. Aczel, Fung, P., Bornat, R., Oliver, M., O'Shea, T., and Sufrin, B., Computer science undergraduates learning logic using a proof editor: work in progress, presented at the 01/1999, PPIG 1999 - 11th Annual Workshop, 1999.
P. O'Shea and Exton, C., Does the empirical evidence support visualisation?, presented at the 04/2003, PPIG 2003 - 15th Annual Workshop, 2003.
P. Fung, O'Shea, P., Bornat, R., Reeves, S., and Goldson, D., Fear of Formal Reasoning, presented at the 12/1992, PPIG 1992 - 5th Annual Workshop, 1992.
P. O'Shea and Exton, C., Investigating patterns and task type correlations in open source mailing lists for programmer comprehension, presented at the 04/2004, PPIG 2004 - 16th Annual Workshop, 2004.
T. O'Shea, Fung, P., Bornat, R., Reeves, S., and Goldson, D., Programming in the Real World: Computer Science students' perceptions of the values and difficulties of learning formal methods, presented at the 01/1992, PPIG 1992 - 4th Annual Workshop, 1992.
P. O'Shea and Exton, C., The Role of Source Code within Program Summaries describing Maintenance Activities, presented at the 06/2005, PPIG 2005 - 17th Annual Workshop, 2005.
P. O'Shea, Who Really Needs to Program Today?, presented at the 01/1994, PPIG 1994 - 6th Annual Workshop, 1994.