Logo Università degli Studi di Milano


 

 
 

Software Systems and Languages  

Quest’area affronta problematiche relative a sistemi e linguaggi software.

Linee di ricercaPersone

formal methods

Carlo Bellettini, Chiara Braghin, Lorenzo Capra, Walter Cazzola, Mattia Monga, Elvinia Maria Riccobene

software and service system assurance

Marco Anisetti, Claudio Agostino Ardagna, Valerio Bellandi, Stelvio Cimato, Ernesto Damiani, Gabriele Gianini

software and service system testing

Marco AnisettiClaudio Agostino Ardagna, Valerio Bellandi, Paolo CeravoloErnesto DamianiElvinia Maria Riccobene

software and service system performance

Valerio Bellandi, Paolo CeravoloGabriele Gianini, Andrea Trentini

cloud and service certification

Marco Anisetti, Claudio Agostino Ardagna, Ernesto Damiani

model checking

Carlo Bellettini, Lorenzo CapraElvinia Maria Riccobene

unanticipated and dynamic software evolution

Lorenzo Capra, Walter Cazzola, Mattia Monga

computer games

Davide Gadia, Dario Maggiorini, Laura Anna Ripamonti

collaborative and social computing systems and tools

Valerio Bellandi, Paolo Ceravolo, Andrea Trentini

programming languages: design, evolution and implementation

Walter Cazzola, Alberto Momigliano

Torna ad inizio pagina