Software Requirements
SWEN 645 | 3 Credits
Course Desc: 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.