Skip to main content

"DEsign, Verification and VAlidation of large scale, dynamic Service SystEmS"

Objective

"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."

Field of science

  • /natural sciences/computer and information sciences/software/system software
  • /natural sciences/computer and information sciences/software

Call for proposal

FP7-PEOPLE-2013-IRSES
See other projects for this call

Funding Scheme

MC-IRSES - International research staff exchange scheme (IRSES)

Coordinator

UNIVERSIDADE DE COIMBRA
Address
Paco Das Escolas
3001 451 Coimbra
Portugal
Activity type
Higher or Secondary Education Establishments
EU contribution
€ 180 600
Administrative Contact
Marco Vieira (Prof.)

Participants (1)

UNIVERSITA DEGLI STUDI DI FIRENZE
Italy
EU contribution
€ 174 300
Address
Piazza San Marco 4
50121 Florence
Activity type
Higher or Secondary Education Establishments
Administrative Contact
Andrea Bondavalli (Prof.)