Formalization of requirements

• Input:
  • the URL we must start the retrieval from
  • the maximum hyperlink depth
• Output:
  • graph and time when the exploration was undertaken shown on screen