COMPUTER SCIENCE 726 - COS 726

FacultyNatural Sciences
Home DepartmentComputer Science
Module TopicAdvanced Software Engineering
Generic Module NameComputer Science 726
Alpha-numeric CodeCOS726
NQF Level8
NQF Credit Value15
DurationSemester
Proposed semester to be offered.Second Semester
Programmes in which the module will be offeredBSc Hons (Computer Science) (3735)
Year level1
Main Outcomes

On completion of this module, students should be able to:

  • Create a Formal Mathematical Specification using Z.
  • Demonstrate the use of box structure specification for analysis, design & verification.
  • Demonstrate domain engineering & component-based development.
  • Analyze and blend conventional principles, concepts and methods with Object-Oriented & component-based SE.
  • Create high quality Web applications.
  • Restructure (reconstruct/re-engineer) software to improve quality.
  • Demonstrate the use automated tools in support of the SE process.
  • Explain and be aware of the latest developments within SE.
Main Content
  • Formal Methods;
  • Z Specification Language
  • Cleanroom Software Engineering (SE);
  • Component-Based SE;
  • Client/Server SE;
  • Web Engineering;
  • Reengineering;
  • Computer-Aided SE;
  • Recent publications (e.g. IEEE, ACM, etc) concerning the latest trends and developments with SE;
Pre-requisite modulesCSC312
Co-requisite modulesNone
Prohibited module CombinationNone
Breakdown of Learning TimeHoursTimetable Requirement per weekOther teaching modes that does not require time-table
Contact with lecturer: / tutor:28Lectures p.w.3 
Assignments & tasks:26Practicals p.w.2
Practicals:30Tutorials p.w.0
Tutorials:0  
Tests & Examinations:9  
Selfstudy:57  
Other:0  
Total Learning Time150 4
Methods of Student Assessment

Continuous Assessment (CA): 50%

Final Assessment (FA): 50%

Assessment Module typeContinuous and Final Assessment (CFA)

COMPUTER SCIENCE 101 - COS 101