Schedule
is subject to change.
Midterm on June 15 (Thursday).
Final on June 30 (Friday: 5pm - 6:45pm).
requirements half-page (not graded) due on June 6 (Tuesday).
SRS due on June 20 (Tuesday).
final SDS due on June 28.
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 (June 15)
|
|||
Verification
by proof |
||||
|
Verification by proof |
|||
Symbolic Evaluation |
||||
Work
in progress presentations (approx. June 22) |
||||
|
Work
in progress presentations |
|||
|
group
presentations (starting June 28) |
|
||
|
group
presentations |
|||
|
Final
overview (June 22, 23) |
|
||
|
Final (June 30) |
|