SWEN Course Listing

Software Requirements (SWEN 645, 3 Credits)

An examination of major models of software requirements and specifications, existing software standards and practices, and formal methods of software development. Topics include writing system and software requirements, formal specification analysis, formal description reasoning, models of "standard" paradigms, and translations of such models into formal notations.