Software Engineering, Software Architectures, Software Synthesis, Service Oriented Systems
06 Ingegneria del Software
INF/01 - Informatica
Computer Science and Operations Research
Curriculum External site Scholar DBLP MathSciNet Scopus Research Gate
I'm a Full Professor of the Dep. of Information Engineering, Computer Science and Mathematics of the University of L'Aquila.
My research interests concern software engineering and are focused on the application of formal methods for the component-based development of distributed software systems. In particular, my research activities include the synthesis of software connectors/adapters/mediators and software services composition via the synthesis of orchestrations and choreographies.
Address
Via Vetoio s.n.c., Loc. Coppito
I-67100, L'Aquila (AQ), Italy
room 207 (building "Blocco 0")
email: massimo.tivoli@univaq.it
Al seguente link, potete trovare i risultati dell'appello del ...
Nella settimana dal 6 al 10 dicembre 2021, verrà effettuato il seguente scambio di lezioni: – la lezione del 9 dicembre di Arch. degli Elab. verrà effettuata ...
Per gli studenti che seguiranno in presenza, si fa presente che la lezione di lunedì 29.11.2021 si svolgerà in aula C1.12 invece che in aula C1.10 come di consueto. ...