Skip to main content

CS412 - Formal Systems Development

  • Module code: CS412
  • Module name: Formal Systems Development
  • Department: Computer Science
  • Credit: 15

Content and teaching | Assessment | Availability

Module content and teaching

Module assessment

Assessment group Assessment name Percentage
15 CATS (Module code: CS412-15)
D (Assessed/examined work) Unsupervised practical assignments (MSc students) 40%
  2 hour examination (MSc students) 60%
D1 (Assessed/examined work) Unsupervised practical assignments (MEng students) 40%
  2 hour examination (MEng students) 60%

Module availability

This module is available on the following courses:

Core

N/A

Optional Core

N/A

Optional
  • Undergraduate Discrete Mathematics (G4G3) - Year 4
  • Undergraduate Computer Science MEng (G503) - Year 4
  • MEng Computer Science (with intercalated year) (G504) - Year 5