Module Title:   Formal Methods (PG)

Module Credit:   20

Module Code:   CM-1019D

Academic Year:   2015/6

Teaching Period:   Semester 1

Module Occurrence:   A

Module Level:   FHEQ Level 7

Module Type:   Standard module

Provider:   Computer Science

Related Department/Subject Area:   SCIM (Dept of Computer Science)

Principal Co-ordinator:   Dr D R W Holton

Additional Tutor(s):   Dr G Min

Prerequisite(s):   None

Corequisite(s):   None

Aims:
To examine the role of formal methods in software engineering and to provide a detailed study of a widely-used formal specification notation.

Learning Teaching & Assessment Strategy:
The delivery of the module will consist of directed reading, lectures to expand upon key points in the reading, and tutorials where practical problems are introduced and solved. The coursework assesses students understanding of the technical skills required by the module, while the examination tests their ability to apply these skills.

Lectures:   24.00          Directed Study:   161.00           
Seminars/Tutorials:   12.00          Other:   0.00           
Laboratory/Practical:   0.00          Formal Exams:   3.00          Total:   200.00

On successful completion of this module you will be able to...

understand comprehensively the role of formal methods in software development.

On successful completion of this module you will be able to...

apply a formal notation for specifying the functional requirements for software systems.

On successful completion of this module you will be able to...

think abstractly about system requirements.

  Coursework   20%
 
  Coursework, consisting of undertaking a specification case study.
  Examination - closed book 3.00 80%
 
  Exam
  Examination - closed book 3.00 100%
 
  Supplementary exam.

Outline Syllabus:
Basic mathematical vocabulary: functions, predicates, sets; their use in describing program requirements. Bags and sequences; their use in describing requirements. Relations and their use in describing requirements. The schema calculus of Z. Object Z. Incremental construction of specifications. Z case studies. Formal reasoning about specifications.

Version No:  4