CISC 223 Software Specifications
CISC 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.
LEARNING HOURS 120 (36L;84P)
Requirements: Prerequisite Level 2 or above and a minimum grade of a C- (obtained in any term) or a 'Pass' (obtained in Winter 2020) in (CISC 124 and CISC 204).
Offering Faculty: Faculty of Arts and Science
Concurrent Education Degree Requirements
https://www.queensu.ca/academic-calendar/education/concurrent-education-degree-requirements/
...0, 432/3.0 CISC 102 /3.0...CHEM 212 /3.0, 223/3.0, 281...