Courses / Module

Toggle Print

Module RIGOROUS SOFTWARE PROCESS

Module code: CS803
Credits: 5
Semester: 2
Department: COMPUTER SCIENCE
International: No
Overview Overview
 

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.

Open Teaching & Learning methods
 
Open Assessment
 
Open Autumn Supplementals/Resits
 
Open Pre-Requisites
 
Open Timetable
 
Back to top Powered by MDAL Framework © 2022
V5.3.3 - Powered by MDAL Framework © 2022