Sep 20, 2024  
2013-2014 General/Graduate Catalog - Expires August 2019 
    
2013-2014 General/Graduate Catalog - Expires August 2019 [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:   or equivalent.
Credits: 3
Note: This course is taught by the Truman Institute.



Add to Portfolio (opens a new window)