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
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
Sul canale Generale del Teams del corso sono stati pubblicati i risultati dell'appello del 16.01.2025 e fornite le istruzioni per l'eventuale verbalizzazione del voto. ...
Si informano gli studenti che, riguardo alla prima prova parziale per il corso di Arch. degli Elab. svoltasi in data 14.11.2024, sul Team del corso sono stati pubblicati i voti ...
IASI-CNR (Istituto di Analisi dei Sistemi ed Informatica "A. Ruberti", Roma) ha aperto un bando per un assegno di ricerca nell'ambito del progetto PRIN 2022 "DOMAIN: Taming ...