Academic Calendar 2023-2024

Search Results

CMPE 223 Software Specifications

CMPE 223  Software Specifications  Units: 3.00  

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.
(Lec: 3, Lab: 0, Tut: 0)

Requirements: Prerequisites: ELEC 278, ELEC 270 Corequisites: Exclusions:   
Offering Term: W  
CEAB Units:    
Mathematics 0  
Natural Sciences 0  
Complementary Studies 0  
Engineering Science 24  
Engineering Design 12  
Offering Faculty: Faculty of Arts and Science