CS 4800 004 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
12/24/2025 10:01 AM CS 4800 004 3 Arr
 Arr
 TURLOCK
 TURLOCK Grujic, Olivera
 $0.00 20
1Date/Time indicates when this event was reported to the feed, the actual event may have occurred earlier.
2Availability was last reported on 5/21/2026 7:01 AM. Actual availability may differ.

Course Notes
Student must also enroll in CS 4800-003 (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.