This deliverable reports on the evolution during the second year of the project of its web site (www.um.edu.mt/projects/behapi/). This is a public deliverable and can be accessed here.

This deliverable presents the tutorials/papers of tools developed by partners of the project during the second year. We provide pointers to the online resources that can be found in the

This deliverable presents the training materials on behavioural types developed by members of the consortium during the second year of the project. These materials were created to support the courses

This deliverable describes how the approaches followed in the project to support round-trip engineering of b-APIs (behavioural application programming interfaces) are supported by tools. The deliverable is related to the

This deliverable assesses the use of top-down, bottom-up, and round-trip tool support for engineering b-APIs (behavioural application programming interfaces). The deliverable is related to the tasks “Top-down DevOps1 support” (T4.2),

This deliverable reports on the results of the task “Platforms survey and extensions” of work package (WP) 4 “Tool support”. The goals of WP4 are to enhance and develop tools

This deliverable describes the advances of the BehAPI consortium on some of the themes of Work Package 3 (WP3 – API Consumption), that is techniques for static and dynamic verification