COMP 5118 [0.5 credit] (CSI 5347.) Trends in Big Data Management
In-depth study of recent research articles in the field of data management, with focus on data integration, Internet of Things, large scale data management, recommendation systems, text processing, and question answering. Students will work on a term-long project.
Prerequisite(s): Upper level undergraduate course work in operating systems, database management systems, algorithm design and analysis; or permission of the instructor.
COMP 5302 [0.5 credit] (CSI 5118) Automated Verification & Validation of Software
Topics in formal test derivation methods, test management, high-level, CASE-based verification and validation, data-flow and control-flow measures and metrics for assessing quality of designs and code, regression analysis and testing.