19-SOFT-A1 Algorithms & Data Structures
19-Soft-A2 Computer Architecture and Operating Systems
19-SOFT-A5 Requirements and Specifications
19-SOFT-A6 Software Quality Assurance
19-SOFT-A7 Software Development Process
19-SOFT-B5 Software Modeling & Verification (Formal Methods)
19-SOFT-B6 Software Project Management
19-SOFT-B7 Reverse Engineering, Maintenance & Evolution
19-SOFT-B13 Performance Analysis & Simulation
19-Soft-B17 Programming Languages, Semantics and Implementation