Academic Calendar 2022-2023

Search Results

CISC 422 Formal Methods in Software Engineering

CISC 422  Formal Methods in Software Engineering  Units: 3.00  

Mathematical methods for describing software behaviour and structure. Topics include (but are not limited to) the following: Requirements specification. Module specification: axiomatic, algebraic, and trace specifications. Abstract models. Verification. Specification-based validation.

Learning Hours: 120 (36 Lecture, 84 Private Study)  
Requirements: Prerequisite Registration in a School of Computing Plan and a minimum grade of a C- (obtained in any term) or a 'Pass' (obtained in Winter 2020) in CISC 223.  
Offering Faculty: Faculty of Arts and Science  

Computing, Mathematics and Analytics – Specialization (Computing) – Bachelor of Computing (Honours)

https://www.queensu.ca/academic-calendar/arts-science/schools-departments-programs/computing/computing-mathematics-analytics-specialization-computing-bc-honours/

...in Computer Science: CISC 422 ; CISC 462 ; CISC 465 ; CISC 466 ; CISC 467 ; MATH 401...

Computing, Mathematics and Analytics – Specialization (Computing) – Bachelor of Computing (Honours)

https://www.queensu.ca/academic-calendar/arts-science/schools-departments-programs/mathematics-statistics/computing-mathematics-analytics-specialization-computing-bs-honours/

...in Computer Science: CISC 422; CISC 462; CISC 465; CISC 466; CISC 467; MATH 401...

Concurrent Education Degree Requirements

https://www.queensu.ca/academic-calendar/education/concurrent-education-program/degree-requirements/

...3.0, CISC 102 /3.0, CISC 203...125 /3.0, LISC 422/3.0, PHAR...

Biomedical and Molecular Sciences

https://www.queensu.ca/academic-calendar/graduate-studies/programs-study/biomedical-molecular-sciences/

...with CISC 875). Winter term. EXCLUSION: CISC 875...Given concurrently with LISC 422 , with additional assignments...

Biomedical and Molecular Sciences

https://www.queensu.ca/academic-calendar/graduate-studies/courses-instruction/bmed/

...with CISC 875). Winter term. EXCLUSION: CISC 875...Given concurrently with LISC 422 , with additional assignments...