Apr 24, 2024  
Undergraduate Calendar 2018-2019 
    
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 Financial Aid Information
  Governing Bodies and Emeriti
  Contact Us
  Glossary
  PDF Version and Archive
  My Favourites
HELP
Undergraduate Calendar 2018-2019 [-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 Specifications and Correctness

3 unit(s)
Formal specifications in software development; logical formalisms; functional and relational specifications; completeness and consistency of specifications; verification; validation; presentation of information; tool supported verification.
Three lectures; one tutorial (one hour); second term
Prerequisite(s): COMPSCI 2DM3 , 2FA3 , 2ME3 , 3SD3 


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