Projets-2016-2017-GeoDiff/SRS

Requirements

Functional

• Function: Compare two spatial data sets.
  • Description: Computes a delta between two spatial data sets.
  • Input: Two versions of the same spatial data set at different instants.
  • Source: Imported by the user.
  • Output: The delta.
  • Destination: The memory.
  • Action: The two sets are compared and a delta is produced.
  • Requirement: Two geographical data sets.
  • Pre-condition: They represent the same data (at two different instants).
  • Post-condition: The delta represents all differences.
  • Side-effects: Delta written into memory.

• Function: Display the delta.
  • Description: Display the calculated delta on the screen.
  • Input: The delta previously calculated.
  • Source: The memory.
  • Output: A visualization of the delta.
  • Destination: The screen.
  • Action: The delta is shown to the user, highlighting the additions, deletions and modifications.
  • Requirement: The delta being computed in advance.
  • Pre-condition: None.
  • Post-condition: The delta is shown on screen.
  • Side-effects: None.

• Function: Criteria selection.
  • Description: Computes a delta between two spatial data sets.
  • Input: The current list of criteria.
  • Source: The memory.
  • Output: The list of selected criteria.
  • Destination: The memory.
  • Action: The criteria list is updated.
  • Requirement: None.
  • Pre-condition: None.
  • Post-condition: None.
  • Side-effects: The new criteria list is written into memory.