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).