Sep 30, 2020  
2018-2019 Faculty of Engineering and Applied Science Calendar 
    
2018-2019 Faculty of Engineering and Applied Science Calendar [ARCHIVED CATALOG]

Add to Portfolio (opens a new window)

CMPE 223 Software Specifications W | 3


Lecture: 3
Lab: 0
Tutorial: 0
Introduction to techniques for specifying the behaviour of software, with applications of these techniques to design, verification and construction of software. Logic-based techniques such as loop invariants and class invariants. Automata and grammar-based techniques, with applications to scanners, parsers, user-interface dialogs and embedded systems. Computability issues in software specifications.

Academic Units:
Mathematics 0
Natural Sciences 0
Complementary Studies 0
Engineering Science 24
Engineering Design 12

PREREQUISITE(S): ELEC 278 , ELEC 270 
EXCLUSION(S): CISC 366



Add to Portfolio (opens a new window)