Communicating sequential processes
Communicating sequential processes
The Z notation: a reference manual
The Z notation: a reference manual
Using Z: specification, refinement, and proof
Using Z: specification, refinement, and proof
The B-book: assigning programs to meanings
The B-book: assigning programs to meanings
The Theory and Practice of Concurrency
The Theory and Practice of Concurrency
On the supervision and assessment of part-time postgraduate software engineering projects
Proceedings of the 25th International Conference on Software Engineering
Generalising the Z Schema Calculus: Database Schemas and Beyond
APSEC '03 Proceedings of the Tenth Asia-Pacific Software Engineering Conference Software Engineering Conference
Hi-index | 0.00 |
In this paper we present the results of a statistical analysis undertaken upon the performance of students within the Software Engineering Programme at Oxford. The Software Engineering Programme is aimed at part-time students, most of whom are professional software engineers. The Programme offers a total of 26 courses within the broad spectrum of software engineering, with six being in the formal methods area. The focus of the research undertaken for this paper was the Software Engineering Mathematics course, which provides an introduction to (Z-style) predicate logic, set theory, and proof. In particular, we concern ourselves with the issues of whether performance within the Software Engineering Mathematics course is a good predictor of performance overall.