CS5382 Software Engineering II

Course Aims & Objectives:
This course aims to cover more advanced topics in software engineering, including formal methods, quality assurance and metrics.

Upon completion, students should be able to:

1. use a formal specification language for software specification;
2. evaluate software systems in terms of quality and reliability;
3. perform metrics-based software cost estimation.

Units: 3

Level: P5

Medium of Instruction: English

Keyword Syllabus:
Formal specification and formal verification of software systems. Software quality assurance: principles; processes; ISO9000; quality metrics. Software reliability. Software metrics and models: productivity metrics; size-oriented metrics; function-oriented metrics. Software cost estimation models.

Teaching Pattern:
Duration of course: 1 semester 
Suggusted lecture/tutorial/laboratory, other: 2 hrs. lecture; 1 hr. tutorial.

Assessment Pattern:
Examination duration: 2 hours
Percentage distribution of marks for coursework, examination, other: 30% CW; 70% Exam
Grading pattern: Standard (A+AA-...F)
For a student to pass the course, at least 30% of the maximum mark for the examination must be obtained.

Pre-requisite(s): Nil

Pre-cursor(s):
CS5351 Software Engineering I

Equivalent Course(s):
*CS1521 Software Engineering