CS 4800 006 Software Engineering (LAB)

Laboratory. (Formerly CS 3800) Introduction to formal techniques in software design, development, and verification. The students will form teams. Each team will design a significant software project. Prerequisites: CS 3100. (Lecture, 2 hours; laboratory, 2 hours) (Fall)

Updated1 Course Id Units Day Time Room Location Instructor Additional
Course Fees		 Availability2
4/13/2026 5:01 PM CS 4800 006 3 Arr
 Arr
 TURLOCK
 TURLOCK Hatem, Ayat
 $0.00 FULL
1Date/Time indicates when this event was reported to the feed, the actual event may have occurred earlier.
2Availability was last reported on 5/20/2026 6:01 PM. Actual availability may differ.

Course Notes
Student must also enroll in CS 4800-005 (LEC) concurrently.