View Options Show: All None Introductory Core Capstone Projects Fundamental Computation Software Design Game Development Artificial Intelligence Computing, Mathematics, and Analytics Data Analytics Computing and the Creative Arts Security Biomedical Computation Uncategorized 100-Level 200-Level 300-Level 400-Level 500-Level Fall Winter Spring Summer Not Offered View: Full Compact Group by: NONE CAT LVL TERM Apply Filters Clear Spring CISC 223 - Software Specifications FallWinterSpringIntroduction 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.
