Date | lecture file | Topic | Due |
---|---|---|---|
Jun 7 | intro1 | Introduction (chp 1, 2) | |
Jun 8 | Software qualities (chp 2) | ||
Jun 9 | Requirements.pdf | Requirement specification | |
Jun 10 |
|
Requirement specification Software qualities (chp 2) |
|
Jun 14 | Agile development (reading) Architectural specification (reading) |
Project requirements |
|
Jun 15 | SEprinciples.pdf | SE principles (chp 3) | |
Jun 16 | process1.pdf | Software process (chp 7)
|
|
Jun 17 | Software process | ||
Jun 21 | Design (chp 4) | ||
Jun 22 |
|
Midterm overview |
Project SRS |
Jun 23 | No notes | Midterm | |
Jun 24 | ch3 | Design & analysis of software |
|
Jun 28 | State transition, subsystem, and three-tier sequence diagrams | ||
Jun 29 | introVV
symbEval
|
Verification and Validation | |
Jun 30 |
|
Formal methods | |
Jul 1 |
|
Formal methods | |
Jul 5 | inputSpacePartition | Formal methods | |
Jul 6 |
|
group presentations |
Project design due |
Jul 7 |
|
Final overview |
|
Jul 8 | Final
|