Schedule
is subject to change.
Midterm on October 17 (Tuesday).
Final on December 14 (Thursday: 8pm - 9:30pm).
requirements half-page (not graded) due on September 12 (Tuesday).
SRS due on September 28 (Thursday).
final SDS due on December 5 (Tuesday).
|
lecture file |
Topic |
|
||
|
Introduction
(chp 1, 2), Software qualities (chp
2), Requirement
specification |
|
|||
|
Agile development (reading) |
||||
|
Waterfall software process, OO software process |
||||
|
OO principles, UML classdiagram |
||||
|
State transition, subsystem, and three-tier sequence diagrams |
||||
|
|
Design
and analysis |
|
||
|
Verification and Validation intro |
||||
|
|
Verification
and Validation |
|||
|
|
Midterm (October 17)
|
|||
|
Verification
by proof |
||||
|
|
Verification by proof |
|||
|
Symbolic Evaluation |
||||
|
Work
in progress presentations (approx. November 28) |
||||
|
|
Work
in progress presentations |
|||
|
|
group
presentations (starting December 5) |
|
||
|
|
group
presentations |
|||
|
|
Final
overview |
|
||
|
|
Final (December 14, 8pm – 9:30pm) |
|