Jun 20, 2024  
2022-2023 General/Graduate Catalog - Expires August 2028 
    
2022-2023 General/Graduate Catalog - Expires August 2028 [Archived Catalog]

Add to Portfolio (opens a new window)

CS 632G - Safety-Critical Programming in Ada


This course explores concepts of safety and security critical systems, the integrity of information in programs, and Ada language features designed to support safe and secure software development of programs upon which lives or significant property depend.

Prerequisite: CS 631G - Ada Real-Time Programming  or equivalent.
Credit(s): 3
NOTE:
* This course is taught by the Institute for Academic Outreach.



Add to Portfolio (opens a new window)