milestones 3-4 writeup
-- continued work on functional requirements; initial work on formal
specification; public requirements walkthroughs; initial round of requirements
inspection testing
milestones 5-6 writeup
-- continued work on functional requirements and formal specification; in-class
modeling reviews; second and third rounds of inspection testing