Print and PDF Options

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.

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.