Course Details
Formal Specification and Design
Course Code ENSE803
EFTS 0.1250
Points 15.00
Level 8
Download Course Descriptor
Prescriptor
Introduces formal methods as a collection of mathematical techniques to aid the software engineering process to develop robust systems. Formal methods are applied to case studies via practical model design and specification of engineering artefacts such as data types descriptions, architectures and requirements.
Resources
No Resource is available.
Qualifications
The course is available as part of the following qualifications.
Expand to see requisite details. Points
  AK3745   Postgraduate Diploma in Computer and Information Sciences   (PgDipCIS)
120.00
  AK3746   Postgraduate Certificate in Computer and Information Sciences   (PgCertCIS)
60.00
  AK1329   Master of Computer and Information Sciences   (MCIS)
180.00
  AK1339   Master of Information Technology Project Management   (MITPM)
120.00
  AK1325   Master of Engineering   (ME)
180.00
  AK3566   Postgraduate Diploma in Engineering   (PgDipEng)
120.00
  AK1296   Postgraduate Certificate in Engineering   (PgCertEng)
60.00
  AK3751   Bachelor of Engineering (Honours)   (BE (Hons))
480.00
Prerequisites
ENGE702
  ICE1   Individual Course Enrolment   (ICE)
0.00
  SABRD1   Study Abroad   (Study Abroad)
0.00
  INEXCH1   International Exchange (Inbound)   (INEXCH)
0.00
Timetable
2025Semester 1 Standard
Class Stream Starting Ending Day Time Room
ENSE803/W101  07-Mar-2025  06-Jun-2025  FRI  8:00 AM - 10:00 AM  WZ602 
Contents
Main Menu
Qualification Specialisations
Qualification Types
Qualifications by Faculty
Short Courses
Course Search
Academic Calendar
Downloadable Forms and Guides