Objetivo 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. Ámbito científico natural sciencescomputer and information sciencessoftware Palabras clave Component-Based Software Static Analysis Dynamic Analysis Type Systems Programa(s) H2020-EU.1.3. - EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions Main Programme H2020-EU.1.3.3. - Stimulating innovation by means of cross-fertilisation of knowledge Tema(s) MSCA-RISE-2017 - Research and Innovation Staff Exchange Convocatoria de propuestas H2020-MSCA-RISE-2017 Consulte otros proyectos de esta convocatoria Régimen de financiación MSCA-RISE - Marie Skłodowska-Curie Research and Innovation Staff Exchange (RISE) Coordinador UNIVERSITA TA MALTA Aportación neta de la UEn € 110 250,00 Dirección TAL OROQQ 2080 MSIDA Malta Ver en el mapa Región Malta Malta Malta Tipo de actividad Higher or Secondary Education Establishments Enlaces Contactar con la organización Opens in new window Sitio web Opens in new window Participación en los programas de I+D de la UE Opens in new window Red de colaboración de HORIZON Opens in new window Coste total € 128 250,00 Participantes (21) Ordenar alfabéticamente Ordenar por aportación neta de la UE Ampliar todo Contraer todo UNIVERSITY OF LEICESTER Reino Unido Aportación neta de la UEn € 58 500,00 Dirección UNIVERSITY ROAD LE1 7RH Leicester Ver en el mapa Región East Midlands (England) Leicestershire, Rutland and Northamptonshire Leicester Tipo de actividad Higher or Secondary Education Establishments Enlaces Contactar con la organización Opens in new window Sitio web Opens in new window Participación en los programas de I+D de la UE Opens in new window Red de colaboración de HORIZON Opens in new window Coste total € 85 500,00 NOVA ID FCT - ASSOCIACAO PARA A INOVACAO E DESENVOLVIMENTO DA FCT Portugal Aportación neta de la UEn € 130 500,00 Dirección CAMPUS DE CAPARICA FACULDADE DE CIENCIAS E TECNOLOGIA DA UNIVERSIDADE NOVA DE LISBOA 2829 516 Caparica Ver en el mapa Región Continente Área Metropolitana de Lisboa Área Metropolitana de Lisboa Tipo de actividad Research Organisations Enlaces Contactar con la organización Opens in new window Participación en los programas de I+D de la UE Opens in new window Red de colaboración de HORIZON Opens in new window Coste total € 130 500,00 UNIVERSITY OF KENT Reino Unido Aportación neta de la UEn € 49 500,00 Dirección THE REGISTRY CANTERBURY CT2 7NZ Canterbury, Kent Ver en el mapa Región South East (England) Kent East Kent Tipo de actividad Higher or Secondary Education Establishments Enlaces Contactar con la organización Opens in new window Sitio web Opens in new window Participación en los programas de I+D de la UE Opens in new window Red de colaboración de HORIZON Opens in new window Coste total € 49 500,00 AALBORG UNIVERSITET Dinamarca Aportación neta de la UEn € 22 500,00 Dirección FREDRIK BAJERS VEJ 7K 9220 Aalborg Ver en el mapa Región Danmark Nordjylland Nordjylland Tipo de actividad Higher or Secondary Education Establishments Enlaces Contactar con la organización Opens in new window Sitio web Opens in new window Participación en los programas de I+D de la UE Opens in new window Red de colaboración de HORIZON Opens in new window Coste total € 22 500,00 UNIVERSITY OF GLASGOW Reino Unido Aportación neta de la UEn € 31 500,00 Dirección UNIVERSITY AVENUE G12 8QQ Glasgow Ver en el mapa Región Scotland West Central Scotland Glasgow City Tipo de actividad Higher or Secondary Education Establishments Enlaces Contactar con la organización Opens in new window Sitio web Opens in new window Participación en los programas de I+D de la UE Opens in new window Red de colaboración de HORIZON Opens in new window Coste total € 40 500,00 IT-UNIVERSITETET I KOBENHAVN Dinamarca Aportación neta de la UEn € 45 000,00 Dirección RUED LANGGAARDSVEJ 7 2300 Kobenhavn Ver en el mapa Región Danmark Hovedstaden Byen København Tipo de actividad Higher or Secondary Education Establishments Enlaces Contactar con la organización Opens in new window Sitio web Opens in new window Participación en los programas de I+D de la UE Opens in new window Red de colaboración de HORIZON Opens in new window Coste total € 81 000,00 ALMA MATER STUDIORUM - UNIVERSITA DI BOLOGNA Italia Aportación neta de la UEn € 56 250,00 Dirección VIA ZAMBONI 33 40126 Bologna Ver en el mapa Región Nord-Est Emilia-Romagna Bologna Tipo de actividad Higher or Secondary Education Establishments Enlaces Contactar con la organización Opens in new window Sitio web Opens in new window Participación en los programas de I+D de la UE Opens in new window Red de colaboración de HORIZON Opens in new window Coste total € 56 250,00 UNIVERSITA DEGLI STUDI DI TORINO Italia Aportación neta de la UEn € 18 000,00 Dirección VIA GIUSEPPE VERDI 8 10124 Torino Ver en el mapa Región Nord-Ovest Piemonte Torino Tipo de actividad Higher or Secondary Education Establishments Enlaces Contactar con la organización Opens in new window Sitio web Opens in new window Participación en los programas de I+D de la UE Opens in new window Red de colaboración de HORIZON Opens in new window Coste total € 31 500,00 ACTYX AG Alemania Aportación neta de la UEn € 18 000,00 Dirección MAX BILL STRASSE 38 80807 MUNCHEN Ver en el mapa Pyme Organización definida por ella misma como pequeña y mediana empresa (pyme) en el momento de la firma del acuerdo de subvención. Sí Región Bayern Oberbayern München, Kreisfreie Stadt Tipo de actividad Private for-profit entities (excluding Higher or Secondary Education Establishments) Enlaces Contactar con la organización Opens in new window Participación en los programas de I+D de la UE Opens in new window Red de colaboración de HORIZON Opens in new window Coste total € 27 000,00 BITLAND SRL La participación finalizó Italia Aportación neta de la UEn € 0,00 Dirección VIA CADUTI DI AMOLA 31 40132 Bologna Ver en el mapa Pyme Organización definida por ella misma como pequeña y mediana empresa (pyme) en el momento de la firma del acuerdo de subvención. Sí Región Nord-Est Emilia-Romagna Bologna Enlaces Contactar con la organización Opens in new window Participación en los programas de I+D de la UE Opens in new window Red de colaboración de HORIZON Opens in new window Coste total Sin datos IXARIS SYSTEMS (MALTA) LIMITED Malta Aportación neta de la UEn € 0,00 Dirección THE PENTHOUSE SUITE 1, ENTRANCE C, CAPITAL BUSINES TRIQ TAZ-ZWEJT SGN 3000 San Gwann Ver en el mapa Región Malta Malta Malta Enlaces Contactar con la organización Opens in new window Participación en los programas de I+D de la UE Opens in new window Red de colaboración de HORIZON Opens in new window Coste total Sin datos GREEN BY WEB LDA Portugal Aportación neta de la UEn € 13 500,00 Dirección LUGAR DE ASPRA SABADIM, CAIXA POSTAL 195 S/N 4970 371 Arcos De Valdevez Ver en el mapa Pyme Organización definida por ella misma como pequeña y mediana empresa (pyme) en el momento de la firma del acuerdo de subvención. Sí Región Continente Norte Alto Minho Enlaces Contactar con la organización Opens in new window Participación en los programas de I+D de la UE Opens in new window Red de colaboración de HORIZON Opens in new window Coste total € 13 500,00 COMUNE DI TORINO La participación finalizó Italia Aportación neta de la UEn € 0,00 Dirección PIAZZA PALAZZO DI CITTA 1 10122 Torino Ver en el mapa Región Nord-Ovest Piemonte Torino Tipo de actividad Public bodies (excluding Research Organisations and Secondary or Higher Education Establishments) Enlaces Contactar con la organización Opens in new window Sitio web Opens in new window Participación en los programas de I+D de la UE Opens in new window Red de colaboración de HORIZON Opens in new window Coste total Sin datos XIBIS LIMITED Reino Unido Aportación neta de la UEn € 9 000,00 Dirección 2 METHUEN PARK SN14 0GB Chippenham Ver en el mapa Región South West (England) Gloucestershire, Wiltshire and Bristol/Bath area Wiltshire CC Enlaces Contactar con la organización Opens in new window Participación en los programas de I+D de la UE Opens in new window Red de colaboración de HORIZON Opens in new window Coste total € 9 000,00 EXFORMATICS AS La participación finalizó Dinamarca Aportación neta de la UEn € 0,00 Dirección DAG HAMMARSKJOLDS ALLE 13 2100 Kobenhavn Ver en el mapa Región Danmark Hovedstaden Byen København Enlaces Contactar con la organización Opens in new window Participación en los programas de I+D de la UE Opens in new window Red de colaboración de HORIZON Opens in new window Coste total Sin datos MAIDSAFE.NET LIMITED La participación finalizó Reino Unido Aportación neta de la UEn € 0,00 Dirección 72 TEMPLEHILL KA10 6BE Troon, Ayrshire Ver en el mapa Pyme Organización definida por ella misma como pequeña y mediana empresa (pyme) en el momento de la firma del acuerdo de subvención. Sí Región Scotland Southern Scotland South Ayrshire Enlaces Contactar con la organización Opens in new window Participación en los programas de I+D de la UE Opens in new window Red de colaboración de HORIZON Opens in new window Coste total Sin datos DCR SOLUTIONS Dinamarca Aportación neta de la UEn € 0,00 Dirección SNEKKERSTEN STATIONSVEJ 16 3070 Snekkersten Ver en el mapa Pyme Organización definida por ella misma como pequeña y mediana empresa (pyme) en el momento de la firma del acuerdo de subvención. Sí Región Danmark Hovedstaden Nordsjælland Enlaces Contactar con la organización Opens in new window Participación en los programas de I+D de la UE Opens in new window Red de colaboración de HORIZON Opens in new window Coste total Sin datos ITALIANASOFTWARE SRL Italia Aportación neta de la UEn € 0,00 Dirección VIA SELICE 66A 40026 Imola Ver en el mapa Pyme Organización definida por ella misma como pequeña y mediana empresa (pyme) en el momento de la firma del acuerdo de subvención. Sí Región Nord-Est Emilia-Romagna Bologna Enlaces Contactar con la organización Opens in new window Participación en los programas de I+D de la UE Opens in new window Red de colaboración de HORIZON Opens in new window Coste total Sin datos GRAN SASSO SCIENCE INSTITUTE Italia Aportación neta de la UEn € 67 500,00 Dirección VIA FRANCESCO CRISPI 7 67100 L'Aquila Ver en el mapa Región Sud Abruzzo L’Aquila Tipo de actividad Higher or Secondary Education Establishments Enlaces Contactar con la organización Opens in new window Participación en los programas de I+D de la UE Opens in new window Red de colaboración de HORIZON Opens in new window Coste total € 67 500,00 CAIXA MAGICA SOFTWARE SA Portugal Aportación neta de la UEn € 0,00 Dirección RUA SOEIRO PEREIRA GOMES LOTE 1 4 B EDIFICIO ESPANHA 1600 196 Lisboa Ver en el mapa Pyme Organización definida por ella misma como pequeña y mediana empresa (pyme) en el momento de la firma del acuerdo de subvención. Sí Región Continente Área Metropolitana de Lisboa Área Metropolitana de Lisboa Tipo de actividad Private for-profit entities (excluding Higher or Secondary Education Establishments) Enlaces Contactar con la organización Opens in new window Participación en los programas de I+D de la UE Opens in new window Red de colaboración de HORIZON Opens in new window Coste total Sin datos CODEBAKER SRLS Italia Aportación neta de la UEn € 0,00 Dirección VIA FRANCESCO DE SANCTIS, 7 F 40132 BOLOGNA Ver en el mapa Región Nord-Est Emilia-Romagna Bologna Enlaces Contactar con la organización Opens in new window Participación en los programas de I+D de la UE Opens in new window Red de colaboración de HORIZON Opens in new window Coste total Sin datos Socios (4) Ordenar alfabéticamente Ordenar por aportación neta de la UE Ampliar todo Contraer todo Socio Las organizaciones asociadas contribuyen a la aplicación de la acción, pero no firman el acuerdo de subvención. CARNEGIE MELLON UNIVERSITY Estados Unidos Aportación neta de la UEn € 0,00 Dirección FORBES AVENUE 5000 15213 Pittsburgh Ver en el mapa Tipo de actividad Higher or Secondary Education Establishments Enlaces Contactar con la organización Opens in new window Participación en los programas de I+D de la UE Opens in new window Red de colaboración de HORIZON Opens in new window Coste total € 63 000,00 Socio Las organizaciones asociadas contribuyen a la aplicación de la acción, pero no firman el acuerdo de subvención. UNIVERSIDAD DE BUENOS AIRES Argentina Aportación neta de la UEn € 0,00 Dirección CALLE VIAMONTE 430 1053 Buenos Aires Ver en el mapa Tipo de actividad Higher or Secondary Education Establishments Enlaces Contactar con la organización Opens in new window Sitio web Opens in new window Participación en los programas de I+D de la UE Opens in new window Red de colaboración de HORIZON Opens in new window Coste total € 144 000,00 Socio Las organizaciones asociadas contribuyen a la aplicación de la acción, pero no firman el acuerdo de subvención. THE BOARD OF TRUSTEES OF THE UNIVERSITY OF ILLINOIS Estados Unidos Aportación neta de la UEn € 0,00 Dirección 506 S. WRIGHT STREET, 209 HAB, MC 339 61801 URBANA IL Ver en el mapa Tipo de actividad Higher or Secondary Education Establishments Enlaces Contactar con la organización Opens in new window Participación en los programas de I+D de la UE Opens in new window Red de colaboración de HORIZON Opens in new window Coste total € 49 500,00 Socio Las organizaciones asociadas contribuyen a la aplicación de la acción, pero no firman el acuerdo de subvención. MCAFEE ARGENTINA S.A. Argentina Aportación neta de la UEn € 0,00 Dirección ALEM LEANDRO N. AV. 518 PISO 2 Cordoba Ver en el mapa Enlaces Contactar con la organización Opens in new window Participación en los programas de I+D de la UE Opens in new window Red de colaboración de HORIZON Opens in new window Coste total € 13 500,00