DEVASSES: DEsign, Verification and VAlidation of large scale, dynamic Service SystEmS |
|
|
|
Wednesday, 01 January 2014 00:00 |
Involvment type: participant Project website:https://devasses.dei.uc.pt/index.php/ Project contract: PIRSES-GA-2013-612569 (FP7-PEOPLE-2013-IRSES n.612569) Start date: 01-01-2014 End date: 31-12-2017
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.
|
Read more...
|