COMP 489: Software Reliability:
Specification, Testing and Verification
ECOE 560: Design Methodologies and
Tools for Software/Hardware Systems
COMP 302: Software Engineering
COMP 131: Object-Oriented Programming with Java
COMP 132: Advanced Programming
(C, C++, Java)
ECOE
556: Algorithms and Computational Complexity
ENGR 100: Introduction
to Computer Engineering