Centralised Online Undergraduates Registration System (CORS)

      


Module Detailed Information for [CS5232]
Academic Year : 2017/2018 Semester : 2
Correct as at 30 Mar 2018 04:27

Back to Module Information Listing
Module Information
Module Code :
CS5232 IVLE
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 : 10-05-2018 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
1 LECTUREEVERY WEEKMONDAY18302030LT15,

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