Moteur de recherche d’entreprises européennes

Financement de l’UE (630 000 €) : Interfaces de programmation d’applications comportementales Hor25/01/2018 Programme de recherche et d'innovation de l'UE « Horizon »

Vue d’ensemble

Texte

Interfaces de programmation d’applications comportementales

APIs are typically flat structures, i.e. sets of service/method signatures specifying the expected service parameters and the kind of results one should expect in return. However, correct API usage also requires the individual services to be invoked in a specific order. Despite its importance, the latter information is either often omitted, or stated informally via textual descriptions. Behavioural Types are a suite of technologies that formalise of this information, elevating flat API descriptions to a graph structure of services. This permits automated analyses for correct API compositions so as to provide guarantees such as service compliance, deadlock freedom, dynamic adaptation in the presence of failure, load balancing etc. The proposed project aims to bring the existing prototype tools based on these technologies to mainstream programming languages and development frameworks used in industry.


CARNEGIE MELLON UNIVERSITY ?
Aalborg Universitet 22 500 €
ACTYX AG 18 000,00 €
Alma Mater Studiorum - Universita Di Bologna 56 250 €
Bitland Srl 0,00 €
Caixa Magica Software SA 0,00 €
Codebaker Srls 0,00 €
Comune Di Torino 0,00 €
DCR Solutions 0,00 €
Exformatics AS 0,00 €
Gran Sasso Science Institute 67 500 €
Green BY Web Lda. 13 500,00 €
Italianasoftware Srl 0,00 €
IT-Universitetet I Kobenhavn 45 000 €
Ixaris Systems (Malta) Ltd. 0,00 €
Maidsafe.NET Ltd. 0,00 €
Nova ID FCT - Associação para A Inovacao e Desenvolvimento da FCT 130 500 €
Universita Degli Studi Di Torino 18 000,00 €
Universita TA Malta 110 250 €
University of Glasgow 31 500 €
University of Kent 49 500 €
University of Leicester 58 500 €
Xibis Ltd. 9 000,00 €

https://cordis.europa.eu/project/id/778233

Cette annonce se réfère à une date antérieure et ne reflète pas nécessairement l’état actuel. L’état actuel est présenté à la page suivante : Carnegie Mellon University, Pittsburgh, États-Unis.