Tuesday: Covered 01 slides (mathematical models) and 02 slides (building in software reliability).

Thursday: What does a requirements document look like? There are many topics that will span many lectures. 04-Requirements slides. The notion of atomic requirements. What makes a good atomic requirement? The difference between R-statements (in the optative mood) and E-statements about the environment (in the indicative mood). Mathematical models: contexts for the static part and machines for the dynamic par. A simple bank as an example.

Discuss Assignment 1. Complete Requirements/Mathematical Model. Discuss in detail the requirements document for the the return on investment calculator (this may take at least two weeks). This is in preparation for a large assignnment to be handed out next week.