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
  INEXCH1   International Exchange (Inbound)   (INEXCH)
0.00
  SABRD1   Study Abroad   (Study Abroad)
0.00
No requisite courses specified.
  ICE1   Individual Course Enrolment   (ICE)
0.00
  AK3751   Bachelor of Engineering (Honours)   (BE (Hons))
480.00
Timetable
2025Semester 1
Class Stream Starting Ending Day Time Room
ENSE803/W101  03-Mar-2025  27-Jun-2025       
Contents
Main Menu
Qualification Specialisations
Qualification Types
Qualifications by Faculty
Short Courses
Course Search
Academic Calendar
Downloadable Forms and Guides