Free University of Bozen · Bolzano - Welcome - Computer Science
Back to department main page
Please choose a picture.
Seamless integration of teaching, research and applications An innovative, integrated approach forms the core framework of the teaching, research and practical applications of the Faculty.

Our study programmes evolve naturally from our research activities, so that students of all levels have opportunity to work directly on software development projects that have real-world impact for business, the public, and the international research community.
 
Our teaching offer comprises all three levels of studies: Bachelor, Master and PhD. Our jewel in the crown are our European Masters degrees, which foresee periods of study at partner universities and a double degree.

We are particualrly committed to research. An excellent infrastructure and an international and dynamic teaching body create the ideal environment for this and our research projects are internationally recognised and financed through national and European funds, with frequent contributions from local companies and public institutions.

Our strong focus on research does not make us neglect real-world applications. Our Faculty works in close collaboration with local entities, organises common endeavours and addresses actual demands of enterprises, local government and schools.


>>>>>>>> COMPUTER SCIENCE IN ONE PAGE - CLICK AND SEE! <<<<<<<<
Events
0603
11:00 - 12:30 h
Bozen-Bolzano
Designing Adaptive Software Systems - a CASE SeminarExternal eventsAdaptive systems usually operationalize adaptation through a feedback loop, an architectural prosthesis that introduces monitoring, diagnosis and compensation functions to the system proper. We have been studying the requirements that lead to such feedback loop functionality. In particular, we have introduced new classes of requirements, called respectively awareness and evolution requirements, which are best operationalized through feedback loops instead of collections of functions. These requirements are characterized by the fact that they refer to other requirements, quality constraints or domain assumptions. We then discuss elicitation, modeling, formalization for awareness and evolution requirements and how to go from such requirements to feedback loops through a systematic process. In addition, we sketch a framework for monitoring, diagnosis and compensation grounded on requirements models.Room D002, Universitätsplatz 1 - Piazza Università, 1, 39100 Bozen-BolzanoJohn Mylopoulos, Professor at the University of Toronto
Faculty of Computer Science - Secretariat
Dominikanerplatz 3 - piazza Domenicani, 3I - 39100 Bozen-Bolzano
T: +39 0471 016000F: +39 0471 016009computer.science@unibz.it
Opening hours:Mon and Wed
10:00 - 12:00
Tue and Thu
14:00 - 16:00
© UniBz