Runtime Monitors observe the execution of a system with the aim of reaching a verdict about it. One property that is expected of monitors is consistent verdict detections; this property
Concrete artefacts are produced and used for dissemination. These include scientific publications, a repository of use-cases, tutorials, a non-technical article presenting the main achievements of the project, material for tutorials and recorded tutorials. These artefacts will remain available to the general public beyond the duration of the project and promote a continuative and long-term dissemination.
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 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),