INFORMATION SYSTEM ASSURANCE
Prerequisites: Math 0203 or adequate math placement test score, (CS 2703 or CS 2713) and (CS 2723 or CS 2743).
3 CREDITS Credits
Students will learn design and analysis methods for high assurance information systems. Topics covered will consist of safety, reliability, security, and specification of mission-critical system properties. Software and hardware validation, as well as verification and certification are also included.This course satisfies the computer proficiency requirement.