Login



News and information related to current and past RCL projects are listed in the following.
To filter the information by project, please use the links on the left column.




DEVASSES: DEsign, Verification and VAlidation of large scale, dynamic Service SystEmS PDF Print E-mail
Wednesday, 01 January 2014 00:00

devasses-logo-websiteInvolvment 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...
 
<< Start < Prev 1 2 3 4 5 6 Next > End >>

Page 1 of 6

Resilient Computing Lab, 2011

Joomla - Realizzazione siti web