Graduate-level course covering software development life cycles, modeling, UML, and software verification/validation in IT systems.