Jan 22, 2022  
Graduate Studies Catalog 2017-2018 
Graduate Studies Catalog 2017-2018 [ARCHIVED CATALOG]

SE 507 - Requirements Analysis and Software Specification

3 cr.
(Prerequisite, SE 500)Exploration of two inter-related subjects of software life-cycle-process; requirements and their specifications. Topics: Requirements analysis techniques, interview process, prototypes, types of requirements (functional, nonfunctional, reliability, quality, security, etc.), traceability, languages of specification (axiomatic, algebraic, finite state machine, abstract, operational, concurrency).