Nov 25, 2024  
Undergraduate Calendar 2014-2015 (Spring/Summer) 
    
Catalog Navigation
  Calendar Home
  Sessional Dates
  Program Listings (by Degree)
  Course Listings
  Admission Requirements
  Application Procedures
  General Academic Regulations
  Financial Information
  Student Financial Aid & Scholarships

  Arts & Science- Programs
  DeGroote School of Business (Faculty of Business)
  Faculty of Health Sciences
  Faculty of Engineering
  Faculty of Humanities
  Faculty of Science
  Faculty of Social Sciences
  Interdisciplinary Minors and Thematic Areas
  Certificate and Diploma Programs

  Availability of Upper-Level Courses
  Degrees and Programs: Duration in Years
  Elective Courses Available To Level I Students
  Collection and Disclosure of Personal Information
  Senate Policy Statements

  Academic Facilities, Student Services and Organizations
  Governing Bodies
  Presidents Emeriti
  Professors Emeriti
  Directory for Correspondence and Enquiries
  Glossary
  PDF Version
  My Favourites
HELP
Undergraduate Calendar 2014-2015 (Spring/Summer) [-ARCHIVED CALENDAR-]

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

COMP SCI 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); first term
Prerequisite(s): COMP SCI 2ME3
Antirequisite(s): SFWR ENG 3A04


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