Alexander M. Fedorec

Learn More
The e€ects of natural language comments, meaningful variable names, and structure on the comprehensibility of Z speci®cations are investigated through a designed experiment conducted with a range of undergraduate and post-graduate student subjects. The times taken on three assessment questions are analysed and related to the abilities of the students as(More)
JvN2003@Greenwich: John von Neumann Centenary Meeting The JvN2003@Greenwich meeting was held at King William Court of the Old Royal Naval College in London on Saturday, 29 November 2003. A joint meeting of the British Society for the History of Mathematics, the University of Greenwich School of Computing and Mathematical Sciences, and the Open University(More)
  • 1