SFWRENG 3RA3 Study Guide - Final Guide: Software Requirements Specification, State Diagram, Data Flow Diagram

122 views17 pages

Document Summary

Math objects made using mathtype; graphs made using winplot. Please join github and contribute to this document. There is a guide on how to do this on my. Lecture 2 types of statements 3. Software requirements specification (srs): description of a software system that will be developed. Descriptive statement: facts about the system, such as natural laws and physical constraints: domain property (dom): affecting environmental phenomena, such as physics. Prescriptive statement: desired behavioural properties of a system; can be negotiated. Types of prescriptive statements: system requirement (sysreq): when the software interacts with the other system. When the sofreq, asm, and dom are satisfied, sysreq is satisfied: software requirement (sofreq): relationship between a set of input variables, i, and. O, the set of output variables: vocabulary understandable by software developers components, i. e. environment, vocabulary understandable by all parties, types of sysreq: sensors and stuff, sofreq, asm, dom |= sysreq. Assumptions (asm): how the environment should be, usually through.