Requirements for methods and tools

This deliverable will include a survey on state of the art DSS and automated reasoning approaches in SE, which will be performed in T3.1. Moreover, it will provide user requirements for the methods and tools that will be developed in SUPERSEDE, based on the UCs analysis performed in T3.1, and a description of contextual data and user feedback.