COS 430: Software Engineering
COS571: Advanced Database Systems
COS578: Advanced Java Technology
COS579: Software Specification and Verification
COS570: The C# Programming Language