Software Systems and Languages
Quest’area affronta problematiche relative a sistemi e linguaggi software.
Linee di ricerca | Persone |
---|---|
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 Anisetti, Claudio Agostino Ardagna, Valerio Bellandi, Paolo Ceravolo, Ernesto Damiani, Elvinia Maria Riccobene |
software and service system performance | Valerio Bellandi, Paolo Ceravolo, Gabriele Gianini, Andrea Trentini |
cloud and service certification | |
model checking | |
unanticipated and dynamic software evolution | |
computer games | |
collaborative and social computing systems and tools | |
programming languages: design, evolution and implementation |