DCR Solutions provides adaptive case management (ACM) solutions. In WP2, DCR Solutions is involved in the development of traceability mechanisms (with IT University of Copenhagen, University of Leicester, NOVA and
McAfee is an R&D centre that focuses on corporate cybersecurity products. McAfee contributes to the development of language for the specifications of quantitative requirements and analysis techniques for quantitative contracts
Xibis develops web and mobile applications for several application domains, ranging from retail, healthcare, transport and the public sector. Xibis collaborates in activities concerning the developing algorithmic traceability mechanisms between
Green by Web specialises in IOT applications that exploit data from the real world and use it to take informed decisions on the execution flow of the application and, possibly,
Ixaris provides solutions for online payment. The use-case of Ixaris serves to exercise the techniques developed in the project for b-api refinement (in collaboration with University of Malta and University
Bitland is a web agency that develop web services and restful APIs. Together with University of Malta, Ixaris, University of Bologna tackles the problem of service refinement in multi-party setting
