SRS and SAD Tracking

[Lercerss]

Description

Tracking of modifications to the SRS and SAD in Iteration 6.

Tasks

• Making a loan:
  • SRS:
    • Sequence Diagram
    • Operation Contracts
    • EFSM
  • SAD:
    • OCL
    • Object-Z Definitions
• Making a return:
  • SRS:
    • Sequence Diagram
    • Operation Contracts
    • EFSM
  • SAD:
    • OCL
    • Object-Z Definitions
• Modifications:
  • SRS comments addressed
  • SAD comments addressed

Proposed assignees: @chimano (SRS) & @Lercerss (SAD)

[Lercerss]

SRS needs to contain temporal logic specification.
We also need to capture deleting items from the cart in making a loan's specification @chimano

[Lercerss]

We need to add and justify the physical view in the SAD