30.08.2014 Views

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

SHOW MORE
SHOW LESS

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

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!