A First Course In Formal Specification: DesignPrinciples And Experience
David Lightfoot · WIT transactions on information and communication technologies · 1970
Modular degree courses at Oxford Brookes University consist of modules, each of which takes one term to complete. The term currently consists of nine weeks of teaching, followed by a reading week and an eleventh, final week in which the students take examinations. Although there are prerequisite dependencies between modules, it is best that as much as possible modules are self-contained. These are the constraints on the amount of material that can be covered in each module and the style in which it is taught.