Author(s)

J.H. Turner

Abstract

Z has been taught at Staffordshire University for over five years, and to more than 1500 students. Experiences arising from this work are described and the following five key issues are discussed. Do students see Z as computing or as mathematics*? Do students have the prerequisite skills in abstraction, algebra, modelling and problem solving needed for Z? How can work in Z be successfully assessed? Do students understand proof? Can Z cross-fertilise skills in other areas of computing? These issues are described and ways to address them are suggested. 1. Background Z has been taught at Staffordshire University since 1988. It has been taught throughout the curriculum: on both degree and HND programmes; on Software Engineering, Computing Science and Information Systems courses; to first, second and final year students; in modules ranging from those concerned with the practical mo

Keywords