Courses / Module

Toggle Print

Module RIGOROUS SOFTWARE PROCESS

Module code: CS603
Credits: 7.5
Semester: 1
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 Learning Outcomes
 
Open Teaching & Learning methods
 
Open Assessment
 
Open Pre-Requisites
 
Open Timetable
 
Back to top Powered by MDAL Framework © 2017
V5.1.3 - Powered by MDAL Framework © 2017