Spring 12 Courses:

 

	SE-352 Embedded Software
	SE-631 Real-time System Design and Implementation

Previous Courses:

	IT-100 Information Technology
	SE-207 Software Design and Architecture
	SE-306 Formal Methods
	SE-561 Math Foundations of Software Engineering
	SE-561 Formal Methods in Software
	SE-565 Software System Requirement
	SE-602 Technology Assessment
	SE-610 Software Systems Security
	SE-630 Real-Time Systems Analysis and Specification