Centralised Online Undergraduates Registration System (CORS)


Module Detailed Information for [CS5232]
Academic Year : 2018/2019 Semester : 2
Correct as at 03 Mar 2019 20:00

Back to Module Information Listing
Module Information
Module Code :
Module Title : Formal Specification and Design Techniques
Module Description : The primary role of the formal specification is to provide a precise and unambiguous description of a computer system. A formal specification allows the system designer to verify important properties and detect design error before system development begins. The objective of this course is to study various formal specification and design techniques for modelling (1) object-oriented systems, (2) real-time distributed systems, and (3) concurrent reactive systems. The course will focus on the state-based notations Z/Object-Z, event-based notation CSP/Timed-CSP. Graphical modelling notations, such as StateChart and UML (Unified Modelling Language) will also be addressed.
Module Examinable : -
Exam Date : 07-05-2019 AM
Modular Credits : 4
Pre-requisite : (CS1231 Discrete Structures or MA1100 Fundamental Concepts of Mathematics) and CS2103 Software Engineering
Preclusion : Nil
Module Workload (A-B-C-D-E)* : 3-0-0-3-4
Remarks : Nil
* A: no. of lecture hours per week
B: no. of tutorial hours per week
C: no. of laboratory hours per week
D: no. of hours for projects, assignments, fieldwork etc per week
E: no. of hours for preparatory work by a student per week

Lecture Time Table
Class TypeWeek TypeWeek DayStartEndRoom

Tutorial Time Table
Attention: The tutorial timetables could be updated from time to time. Students are advised to check regularly for the latest update on the change of tutorial timing.
No Tutorial Class or to be announced. Please check with the department offering this module.

  NUS Help NUS Home Search Site Map Contact NUS Legal