May 01, 2024  
Undergraduate Calendar 2021-2022 
    
Catalog Navigation
  Calendar Home
  Academic Regulations
  Sessional Dates
  Programs (by Faculty) and Faculty Information
  Programs (by Degree) and Minors
  Interdisciplinary Minors and Thematic Areas
  Certificate and Diploma Programs
  Course Listings
  Admission, Application and Aid & Awards Information
  Governing Bodies and Emeriti
  Contact Us
  Glossary
  PDF Version and Archive
  My Favourites
HELP
Undergraduate Calendar 2021-2022 [-ARCHIVED CALENDAR-]

Facebook this Page (opens a new window)
Tweet this Page (opens a new window)
Add to Favourites (opens a new window)

COMPSCI 3EA3 - Software and System Correctness

3 unit(s)
Formal specifications in software and system development; validation; verification; presentation of information; practical
experience in formal specification and tool-supported verification.
Three lectures; one tutorial (one hour); one term
Prerequisite(s): COMPSCI 2LC3  or 2DM3, 2AC3  or 2FA3, 2ME3 , 2SD3  or 3SD3   
Offered on an irregular basis.


Facebook this Page (opens a new window)
Tweet this Page (opens a new window)
Add to Favourites (opens a new window)