CS 4800 003 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
9/17/2025 9:01 AM CS 4800 003 3 TR
TR
 3:30P - 4:45P
3:30P - 4:45P
 DBH 164
HYBRID 001
 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/20/2026 6:01 PM. Actual availability may differ.

Course Notes
Student must also enroll in CS 4800-004 (LAB) concurrently.   Hybrid Online - Synchronous. In-person class meetings will be on campus at the room, day, and time listed. Online class meetings will be at the day and time listed. Students must be available at the class times listed in the Class Schedule, and must attend in person on days indicated as such by the instructor. Students do not have the option to choose in-person or virtual, nor opt for asynchronous participation.