(Last modified Tue Jun 03 15:09 2008)
The schedule of topics is approximate
and will be adjusted
as the quarter progresses.
See the outline
for the sequence of material.
See checkmate
for exact dates and times of assignments.
| Week | Date | Topic | Assignment | ||||||
|---|---|---|---|---|---|---|---|---|---|
| 1 | A P R | 1 Tu |
My expectations, and what you can expect Class photo A quick summary of the quarter | ||||||
| 3 Th |
No office hours today except by appointment Antón and Potts on the posing of systematic questions Kinds of requirements Software quality; ilities Ility conflicts | ||||||||
| 2 | 8 Tu | No class meeting today | |||||||
| 10 Th |
No office hours today Using arguments to analyze quality Ilities index and cross-reference Argumentation: Argument structure | hw1 Reasoning
about quality (Fr) checkmate (solution) | |||||||
| 3 | 15 Tu |
Boehm on spending 1 hour to save 100 Cost data statistics for actual projects Some well-known failures to achieve quality QA planning | |||||||
| 17 Th |
Parnas on the value of documentation Reviewing to achieve quality Software risk items, risk management, ranking risks | ||||||||
| 4 | 22 Tu |
Review of problematic material from hw1 Argumentation: Choosing a claim and supporting it | |||||||
| 24 Th |
Brief recap of remaining problems related to argumentation and hw2 Example system ility argument Wrapup of quality | hw2 Planning
for quality (Fr) checkmate (solution) | |||||||
| 5 | 29 Tu |
Midterm review | |||||||
| M A Y | 1 Th | Midterm (solution) | |||||||
| 6 | 6 Tu |
Hoare on the two ways The basics of specifications It's Greek to me Sets | |||||||
| 8 Th |
Jackson on brilliance Logic: propositional (PL), first-order (FOL) Regular expressions:
| ||||||||
| 7 | 13 Tu | No class this week. | hw3 Software
specification (Fr) checkmate (solution) | ||||||
| 15 Th | |||||||||
| 8 | 20 Tu |
Modal logic Grammars | |||||||
| 22 Th |
Statecharts FSP and labeled transition systems (LTSs) | ||||||||
| 9 | 27 Tu |
Statecharts briefly revisited,
with some examples FSP briefly revisited with LTSA Scenarios and their ilk (including MSCs) Dijkstra's famous quote on testing Testing | |||||||
| 29 Th |
Review of material for hw4 Testing | hw4 Specification
and testing (Fr) checkmate (solution) | |||||||
| J U N | Online course evaluation: May30Fr7:00pm – Jun08Su11:45pm | ||||||||
| 10 | 3 Tu |
Testing Test coverage | hw5 A look back, and
a look forward (We) checkmate | ||||||
| 5 Th |
Review of the quarter | ||||||||
| Ex. | 10 Tu | Final 4:00-6:00 | |||||||
