Professore Ordinario
Massimo Tivoli
Software Engineering, Software Architectures, Software Synthesis, Service Oriented Systems
06 SWEN (Software Engineering)
INF/01 - Informatica
Computer Science and Operations Research
Curriculum External site Scholar DBLP MathSciNet Scopus Research Gate
Home
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
Architettura degli Elaboratori
Gli studenti che volessero visionare la propria prova parziale possono farlo Lunedì 4 dicembre dalle 10.00 alle 11.00presso l'ufficio del docente, ultimo piano del Blocco 0 ...
Architettura degli elaboratori
La lezione di giovedì 19 ottobre viene sospesa per concomitanti impegni di lavoro del docente. Le lezioni riprenderanno regolarmente lunedì 23 ottobre. ...
Fater Pescara cerca ICT Senior System Administrator
Fater S.P.A. (sede Pescara) cerca un Senior System Administrator esperto in sistemi ICT complessi con oltre 5 anni di esperienza nella gestione dei server, di architetture SAP ...
Informazioni
Address
Università degli Studi dell'Aquila
Via Vetoio - I-67100 L'Aquila