Lecture Notes
Notes outlining material covered in each session are listed below.
|
|
|
|
|
|
SESSION # |
|
|
|
TOPICS |
|
|
|
NOTES |
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
The Problem |
|
|
|
(PDF 1), (PDF 2) |
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
Process and Life Cycle Models |
|
|
|
(PDF) |
|
|
|
|
|
|
|
|
|
|
|
3 |
|
|
|
Requirements and Specification |
|
|
|
(PDF 1), (PDF 2) |
|
|
|
|
|
|
|
|
|
|
|
4 |
|
|
|
Requirements and Specification |
|
|
|
(PDF) |
|
|
|
|
|
|
|
|
|
|
|
5 |
|
|
|
Design |
|
|
|
(PDF) |
|
|
|
|
|
|
|
|
|
|
|
6 |
|
|
|
Design |
|
|
|
(PDF) |
|
|
|
|
|
|
|
|
|
|
|
7 |
|
|
|
Building Confidence (Testing, Analysis, QA, Reviews) |
|
|
|
(PDF 1), (PDF 2) |
|
|
|
|
|
|
|
|
|
|
|
8 |
|
|
|
Metrics and Reliability Assessment |
|
|
|
(PDF 1), (PDF 2) |
|
|
|
|
|
|
|
|
|
|
|
9 |
|
|
|
COTS and Reuse |
|
|
|
(PDF) |
|
|
|
|
|
|
|
|
|
|
|
10 |
|
|
|
Formal Verification |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
11 |
|
|
|
Team Organization and People Management |
|
|
|
(PDF 1), (PDF 2) |
|
|
|
|
|
|
|
|
|
|
|
12 |
|
|
|
Software Engineering Aspects of Programming Languages |
|
|
|
(PDF 1), (PDF 2) |
|
|
|
|
|
|
|
|
|
|
|
13 |
|
|
|
Software Safety and Wrapup |
|
|
|
(PDF) |
|
|
|
|
|
|