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.

See all SWEN courses.