Theis one of the oldest universities in Italy, having been established in 1334. The computer science curriculum has been started in Camerino in 2000; currently it has more than 500 active students. Each year more then 100 students enrol for the bachelor degree and around 40 for the master degree. Four years ago University of Camerino set up also a PhD school on computer science. The computer science division is strongly active on several projects mainly at the regional and national level.
During the last years, the Computer Science Department of University of Camerino acquired a considerable experience in the area of analysis, design, functional and non-functional
requirements verification (both formal by mathematical tools and through testing techniques), developing and validation of software systems of high complexity (distributed, mobile, real-time, efficient, secure and embedded). The main research areas that can be of interest for CHOReOS, in which Unicam research members are active, are:
Contribution to CHOReOS: University of Camerino will be involved in WP4 in defining and setting adaptive MBT strategies and mechanisms for on-line testing. In particular taking advantage of the broad experience on definition and usage of formal model for verification purpose, Unicam research members will investigate on formalisms to be used for defining service adaptive behaviour and techniques to derive test cases for on-line testing. Correspondingly Unicam will investigate and develop mechanisms for putting in place defined strategies.
Finally University of Camerino will collaborate in setting up the dissemination material with reference V&V strategies and run-time infrastructure as described in WP9.
CHOReOS is a project of the FP7 European program: FP7-ICT-2009-5 - Objective 1.2 (grant agremment n° 257178)