CS445 / SE463 / ECE 451 / CS645 - Student.cs.uwaterloo.ca
CS445 / SE463 / ECE 451 / CS645 - Student.cs.uwaterloo.ca
CS445 / SE463 / ECE 451 / CS645 - Student.cs.uwaterloo.ca
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Sec;on 3: Specific requirements <br />
• Input and output defini;ons should be consistent among UCs, <br />
func;onal spe<strong>cs</strong>, state machines, and UIs. <br />
• Should be at a level of detail sufficient to enable: <br />
– designers to design a system that sa;sfies the specifi<strong>ca</strong>;on <br />
– testers to test that the system conforms to the specifi<strong>ca</strong>;on <br />
• There are different ways of organizing Sec;on 3 <br />
– We’ll look at two approaches briefly