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