Difference between revisions of "Projets-2016-2017-GeoDiff/SRS"

From air
Jump to navigation Jump to search
Line 5: Line 5:
 
* Function: Compare two spatial data sets.
 
* Function: Compare two spatial data sets.
 
** Description: Computes a delta between 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.
+
** Input: Two spatial data sets.
 
** Source: Imported by the user.
 
** Source: Imported by the user.
 
** Output: The delta.
 
** Output: The delta.
Line 12: Line 12:
 
** Requirement: Two geographical data sets.
 
** Requirement: Two geographical data sets.
 
** Pre-condition: They represent the same data (at two different instants).
 
** Pre-condition: They represent the same data (at two different instants).
** Post-condition: The delta represents all differences.
+
** Post-condition: The delta represents all differences between the data sets.
 
** Side-effects: Delta written into memory.
 
** Side-effects: Delta written into memory.
  +
<!-- Each element of each data set should be either uniquely identifiable -->
   
   
Line 40: Line 41:
 
** Post-condition: None.
 
** Post-condition: None.
 
** Side-effects: The new criteria list is written into memory.
 
** Side-effects: The new criteria list is written into memory.
 
   
 
==Non-Functional==
 
==Non-Functional==
  +
  +
* The delta computation should be fast
  +
* The inputs should represent the same data set at two different instants

Revision as of 18:33, 16 January 2017

Requirements

Functional

  • Function: Compare two spatial data sets.
    • Description: Computes a delta between two spatial data sets.
    • Input: Two spatial data sets.
    • 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 between the data sets.
    • 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.

Non-Functional

  • The delta computation should be fast
  • The inputs should represent the same data set at two different instants