To Do:

Assignment 8:

Joe - Accident event formal methods

Devin - Event Formal

Rob - FixEvent Formal

Mark - MoveEvent Formal

Black Box Tests:

Mark: 1 , 2

Joe: 5, 9

Devin: 3, 4

Rob: 6, 7, 8

Programing assignments:

Mark: vehcile stats update perfect vehcile bar

Joe:  Finish stats

Devin: Bigger city

Rob:  Huristic vehicle assigments, Accident sev when new accident appears.

Documentaion:

Rob: - Chapter 6

Mark -  User Manuel

Devin - Changes to test/er/crc/implementation correlation

Joe - Go thorugh the specifications doc checking use cases