CS 4800 005 Software Engineering

Lecture. (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 005 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/21/2026 7:01 AM. Actual availability may differ.

Course Notes
Student must also enroll in CS 4800-006 (LAB) concurrently.