applications. To achieve this we will:
- To support the development, verification, and refactoring of reliable web-based systems by developing a suite of integrated tools for supporting the software development lifecycle;
- Evaluate the new software methodologies and associated tools and methodologies for engineering distributed applications using a few case studies.
The objectives are ground-breaking with potentially disruptive impact on the development and evolution of complex, specifically distributed and web-based, software in practice: CONFIDENT aims at making effective development and agile evolution of complex
systems effectively viable, predictable and productive, without compromising any software qualities.
CONFIDENT brings together leading researchers on all areas involved in the project with responsibilities clearly divided between the two sites: global behavioural types at the Faculty of Sciences and security aspects at the Technical Institute of Lisbon. The two
teams enjoy a large experience in FCT and EU-funded projects; its members regularly publish at top venues including TCS, I&C, POPL, CSF, J. Log. Comput. Furthermore the teams have gathered a large experience in the development and implementation of
compilers and tools for software development (http://gloss.di.fc.ul.pt/sepi/, http://gloss.di.fc.ul.pt/types-multicore, http://gloss.di.fc.ul.pt/quest/).