Periodic Reporting for period 1 - BEHAPI (Behavioural Application Program Interfaces)

The primary goal of this project is to tackle two major shortcomings currently present in the API economy: (i) the lack of rigour in documentation practices of APIs and (ii) the lack of support for provably correct methodologies in the round-trip engineering of APIs. We...