RIGOROUS SOFTWARE PROCESS
- Module code: CS603
- Credits: 7.5
- Semester: 1
- Department: COMPUTER SCIENCE
All aspects of software development lifecycle – requirements, design, implementation, testing, maintenance, and reuse – with emphasis on rigour and formality. Concepts covered include Algebraic Specification Languages (such as LOTOS), Model Based specification Languages (such as Z), Object Oriented Specification Languages such as OCL, JML, Eiffel and Spec# ; Design by Contract; Cleanroom Engineering and Program Verification; Good practice in rigorous Software Engineering: version control, documentation and process improvement.
On successful completion of the module, students should be able to:
|Teaching & Learning methods|
Timetable under review
The Lectures timetable allows you to search by most courses that are offered by the University.
The Venues timetable allows you to search the timetable by venue.
The Departments timetable allows you to search the timetable by department.
The Students timetable is a personalised timetable. The student is required to login using their Student ID and Password.