DEVASSES
DEsign, Verification and VAlidation of large scale, dynamic Service SystEmS
Código da Operação: PIRSES-GA-2013-612569
Duração
01/12/2013 - 31/12/2017
Apresentação
Acrónimo: DEVASSES
Referência: GA 612569 DEVASSES
Área Científica: Ciências da Vida
Síntese do Projeto: The DEVASSES project aims at taking a step forward in the design and deployment of large-scale, dynamic service-based software systems by supporting the transfer of knowledge on novel state of the art methods, techniques, and tools for both design time and run time verification and validation. The goal is to reinforce existing partners’ cooperation through a coordinated program of exchange of researchers, taking as context a common research problem, which provides the frame for the project scientific activities and cannot currently be tackled by any of the partners individually. The project includes joint research activities, focused training activities, and joint workshops, designed to exploit complementary expertise and to create synergies among the partners, establishing the basis for sustainable future cooperation at different levels, including: co-advising of PhD students, joint organization of international events (workshops, conferences, summer schools, etc.), participation in bilateral project proposals, participation in large-scale international project proposals, etc.
Investigador Responsável: Doutor Marco Amorim Vieira
Programa de Financiamento: 7PQ - Pessoas
Instituição Financiadora: European Comission
Data de início: 01-12-2013
Data de conclusão: 31-12-2017
Instituições participantes no Projeto: Universidade de Coimbra (Coordenador), Università degli Studi di Firenze, Universidade Estadual de Campinas, Universidade Federal de Alagoas
Custo total elegível (EUR): 354.900,00€
Apoio financeiro da UE: 354.900,00€
Técnico do Projeto: Paula Lopes
Contacto: 239247024
