CS 5273

Advanced Software Engineering

Oklahoma State University · UGRD · Fall 2026

1 section

Catalog description

Description: Continuation of CS 4273 . Formal methods for software design and development. Static analysis. Emerging design and development approaches. Model checking and model-based software reuse. Component-based software engineering and software repositories. Same course as ECEN 5273.

Sections

Current meeting, instructor, credit, and enrollment details

Updated 3 hours ago

001

Availability not recently verified

Class #oklahoma_state-1892Fall 2026UGRD

Days & times: No scheduled meeting time
Meeting dates: —
Location: —
Instructor: Staff

Class numbers and section codes come from the registrar.

Spot missing or incorrect course data?