CSCI 5210 - Specification of Software Systems

(3 credits)

Prerequisites: CSCI-1900 and CSCI 2210 or CSCI 2910, or consent of instructor. Specification occurs at many levels in software engineering. High-level specifications often attempt to capture user requirements, while detailed functional specifications often describe implementation decisions. This course covers several different models of and languages for specification of software systems. The role of documents and standards is also covered. (irregular)

View the Fall 2024 Schedule of Classes

View the Spring 2025 Schedule of Classes