This course aims at the study of methods, tools, notations, and validation techniques for the analysis and specification of software requirements. Covered topics include: Techniques for gathering requirements; representation Languages and Models; Analysis and validation techniques; Requirements in the context of system engineering; Specifying and measuring external qualities: performance, reliability, availability, safety, security, etc; Requirements documentation standards; Traceability; Human factors; Requirements in the context of agile processes; Requirements management; Handling requirements changes.
