CS 4800 002 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
9/17/2025 9:01 AM CS 4800 002 3 Arr
 Arr
 TURLOCK
 TURLOCK Grujic, Olivera
 $0.00 1
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-001 (LEC) concurrently.   Hybrid Online - Asynchronous. In-person class meetings will be on campus at the room, day, and time listed. Online class meetings will be at no determined day and time.