Ingegneria del software

Sviluppo di meta-modelli avanzati, e relative software factory, per ottenere alta produttività e prototipazione rapida. Teorie, modelli e tecniche di progettazione architetturali che rendano sistematiche la costruzione di strutture software e la loro disciplinata composizione in sistemi.

La domanda globale di sviluppo, estensione e aggiornamento software supererà abbondantemente il ritmo al quale l'industria lo può fornire nel prossimo futuro. Scalare a livelli molto più alti di produttività richiede l'abilità di configurare rapidamente, adattare e assemblare componenti software per produrre famiglie di sistemi simili ma distinti. Questo richiede una transizione da tecniche artigianali a tecniche industriali avanzate, con una evoluzione simile a quella avuta da altri settori industriali in passato. Al DISI si stanno sviluppando meta-modelli avanzati e relative software factory che vadano in questa direzione di alta produttività e prototipazione rapida. La ricerca si concentra anche su architetture software in cui le teorie, i modelli e le tecniche di progettazione architetturali rendano sistematiche la costruzione di strutture software e la loro disciplinata composizione (inclusi stili architetturali e metodi) in sistemi.

Inoltre, al DISI si lavora su forme avanzate di service-oriented computing, un paradigma di programmazione basato sulla composizione dinamica di servizi provenienti da produttori diversi e indipendenti. Infine, vengono studiati modelli per controllare la complessità di questi sistemi a diversi livelli di astrazione, e linguaggi per programmarli.

Persone

foto della persona

Gianluca Aguzzi

Professore a contratto

Assegnista di ricerca

foto della persona

Lorenzo Bacchiani

Assegnista di ricerca

Tutor didattico

foto della persona

Andrea Bedei

Dottorando

Tutor didattico

foto della persona

Samuele Burattini

Professore a contratto

Borsista di Ricerca - Post

Tutor didattico

foto della persona

Roberta Calegari

Ricercatrice in Tenure Track L. 79/2022

foto della persona

Roberto Casadei

Ricercatore a tempo determinato tipo b) (senior)

foto della persona

Paolo Ciancarini

Professore ordinario

foto della persona

Angela Cortecchia

Dottoranda

Tutor didattico

foto della persona

Enrico Denti

Professore associato confermato

foto della persona

Saverio Giallorenzo

Ricercatore in Tenure Track L. 79/2022

foto della persona

Roberto Gorrieri

Professore ordinario

foto della persona

Moreno Marzolla

Professore associato

foto della persona

Ghulam Mustafa

Dottorando

foto della persona

Andrea Omicini

Professore ordinario

Manuele Pasini

Dottorando

Tutor didattico

foto della persona

Danilo Pianini

Professore associato

foto della persona

Davide Rossi

Professore associato

foto della persona

Silvio Russo

Dottorando

Borsista di Ricerca - Post

foto della persona

Domenico Scotece

Ricercatore a tempo determinato tipo a) (junior)

foto della persona

Giancarlo Succi

Professore ordinario

foto della persona

Mirko Viroli

Professore ordinario

foto della persona

Fabio Vitali

Professore ordinario