MORASCA SANDRO

Sandro Morasca è Professore Ordinario di Ingegneria Informatica dal 2000 e presta servizio presso il Dipartimento di Scienze Teoriche e Applicate (DiSTA) dell'Università degli Studi dell'Insubria.
Si è laureato in Ingegneria Elettronica presso il Politecnico di Milano nel 1985 con la votazione di 100/100 e lode.
Ha conseguito il Dottorato di Ricerca in Ingegneria Elettronica e dei Sistemi presso il Politecnico di Milano nel 1991. È stato poi Research Assistant e Visiting Scientist presso il Computer Science Department dell'Università del Maryland a College Park. Successivamente è stato Ricercatore Universitario (1993-1998) e Professore Associato (1998-2000) presso la sede di Como del Politecnico di Milano.

Sandro Morasca svolge attività di ricerca in Ingegneria del Software Empirica, Qualità del Software, Machine Learning, Verifica del Software, Software Open Source e Specifica di Sistemi Software Concorrenti e in Tempo Reale, e ha pubblicato oltre 40 articoli su riviste scientifiche e oltre 100 articoli in atti di convegni. Sandro Morasca ha partecipato a diversi progetti nazionali e internazionali e ha fatto parte dei comitati di programma e dei comitati editoriali di conferenze e riviste internazionali di Ingegneria del Software.

INDICI BIBLIOMETRICI
Fino a maggio 2026, le opere di cui Sandro Morasca è coautore hanno ricevuto un totale di:
- 6792 citazioni, con un indice h pari a 38, secondo Google Scholar
- 3215 citazioni (con 132 articoli indicizzati), con un indice h pari a 26, secondo Scopus.

RICERCA
I contributi di ricerca di Sandro Morasca nell'ambito dell'ingegneria del software sono riassunti di seguito.

- Ingegneria del software empirica.
-- Studio di casi sulla propensione ai difetti del software e sullo sforzo di sviluppo. Sono state utilizzate metriche esistenti per prevedere il numero di difetti nei moduli software e lo sforzo necessario per svilupparli, basandosi su sistemi software industriali. Oltre a costruire modelli predittivi utili, l'obiettivo di questa ricerca era valutare l'utilità pratica delle metriche (come i Function Point) presenti in letteratura.
-- Definizione di metriche per i documenti iniziali del ciclo di vita. Questa ricerca ha contribuito a colmare una lacuna nella letteratura esistente sulla misurazione del software, che si concentrava quasi esclusivamente sul codice software. Sono state definite nuove metriche per le specifiche e la progettazione del software e sono stati condotti studi empirici su sistemi industriali per individuare quali fattori di progettazione e specifica influenzino maggiormente la propensione ai difetti e lo sforzo di sviluppo.
-- Validazione teorica delle metriche del software. È stato proposto un approccio assiomatico sistematico di riferimento per la definizione di metriche significative per i numerosi artefatti (non solo il codice software) prodotti durante il ciclo di vita del software. L'approccio può essere utilizzato per guidare la definizione delle metriche e per verificare che una metrica quantifichi effettivamente l'attributo che si propone di misurare.
-- Misurazione Web. Sono stati condotti studi empirici per identificare i fattori che influenzano lo sforzo necessario per progettare un'applicazione Web.
-- Qualità dei servizi Web. È stata definita una notazione per introdurre le caratteristiche di qualità dei servizi Web e sono stati condotti studi empirici per stimarne la qualità.
-- Debito Tecnico. È stato proposto un framework basato sulla teoria della misurazione per la corretta definizione e misurazione del debito tecnico.
-- Valutazione del software open source. È stato proposto un nuovo modello completo per la valutazione del software open source ed è stata condotta una validazione preliminare. Inoltre, sono stati condotti studi empirici per valutare l'affidabilità del software open source.
-- Formazione in ingegneria del software e metodi empirici. Sono stati identificati quattro stakeholder nei diversi studi empirici sull'ingegneria del software che utilizzano gli studenti come soggetti: studenti, docenti, ricercatori e industria. Sono stati identificati i costi e i benefici per ciascuno di essi e sono state fornite linee guida per condurre studi empirici efficaci per tutti gli stakeholder.
-- Comprensibilità del software. Le metriche esistenti sono state analizzate in modo approfondito e ne è stata valutata la correlazione con la comprensibilità.

- Tecniche innovative di analisi dei dati. Sono state proposte e valutate empiricamente nuove tecniche di analisi dei dati, tra cui:
-- una tecnica "ibrida", ovvero la combinazione di due tecniche esistenti;
-- un'estensione degli alberi di classificazione applicata a variabili indipendenti continue;
-- metodi per definire soglie per la classificazione di moduli software come difettosi;
-- nuovi metodi per la valutazione delle curve ROC.

- Specifiche di sistemi software concorrenti e in tempo reale.
-- Reti di Petri temporizzate di alto livello. È stato proposto un nuovo modello di rete di Petri temporizzata di alto livello (reti ER) che combina aspetti funzionali e temporali nella modellazione di sistemi concorrenti e dipendenti dal tempo. Il modello è stato formalmente specificato e generalizza i modelli esistenti in letteratura.

- Verifica del software.
-- Modelli operativi. Sono state definite tecniche di test, esecuzione simbolica e analisi di raggiungibilità per il modello ER Net.
-- Modelli basati sulla logica. Basati sul linguaggio di logica temporale TRIO, sono stati sviluppati algoritmi per la derivazione (semi)automatica di casi di test "su piccola scala" e "su larga scala", ovvero per sistemi software modulari, gerarchici e in tempo reale. Sono stati definiti criteri di copertura per valutare la qualità dei dati di test generati. Sono stati implementati strumenti automatizzati a supporto della proposta.
-- Analisi mutazionale. L'analisi mutazionale, solitamente applicata ai programmi sequenziali, è stata estesa alla programmazione concorrente. Ada è stato preso come linguaggio di riferimento e sono stati definiti diversi operatori di mutazione specifici per le sue strutture concorrenti.
-- Regole di arresto per i test. È stato introdotto un approccio bayesiano, basato sull'idea che i test si interrompano effettivamente quando i tester hanno raggiunto un grado sufficiente di fiducia nella correttezza di un programma. È stato proposto un modello per descrivere come questo grado di fiducia vari nel corso del processo di test, e uno studio empirico ha fornito evidenza a supporto delle ipotesi iniziali.
-- Modelli analitici. È stato condotto uno studio teorico per identificare le condizioni necessarie e sufficienti meno restrittive per allocare razionalmente i dati di test tra i sottodomini di input di un programma software, basandosi unicamente sulla conoscenza dell'ordine dei tassi di errore dei sottodomini. È stato inoltre proposto un approccio per valutare la frequenza media di errore di un programma, basato sulla verifica statistica delle ipotesi.
-- Verifica del software basata su modelli per sistemi Web. È stata studiata la generazione di dati di test per un generatore di applicazioni Web. I dati di test sono modelli di applicazioni Web codificati in WebML. Diversi modelli di applicazioni utilizzano diverse produzioni della grammatica WebML; pertanto, sono state definite misure di copertura per tali produzioni. Un'analisi empirica in un ambiente industriale ha permesso di studiare quanto bene i dati di test utilizzino l'intera grammatica.


PROGETTI
Sandro Morasca ha partecipato a diversi progetti.
Progetti nazionali: Progetto MPI 40% "Reti di Petri: modelli, applicazioni, strumenti," Progetto MPI 60% "Strumenti per la specifica e la verifica di sistemi software in tempo reale", Progetto CINI "PROTAGORA", Progetto cofinanziato MURST "MOSAICO", Progetto cofinanziato MIUR "QUACK."
Progetti internazionali finanziati dall'UE: "IPTES" (ESPRIT), "CEMP" (ESSI), "PROMOTE" (ESSI), "ESERNET" (IST, Rete tematica), "QualiPSo" (IST, Progetto integrato) e "S-CASE" (IST, STREP).


TUTORIAL E KEYNOTE
Sandro Morasca ha presentato i seguenti tutorial: "Formal Methods in Software Measurement and Software Measurement in Formal Methods" (alle conferenze internazionali METRICS 2003 e Formal Methods Europe 2003), "An Introduction to Web Quality" (alla International Conference on Web Engineering 2004, con Luciano Baresi) e "Fundamental Aspects of Empirical Software Engineering" ​​(alla conferenza internazionale ESELAW 2007).

Sandro Morasca ha tenuto discorsi keynote alle conferenze internazionali OSS 2007, ESELAW 2007, SAST 2008, IWPSE 2015 e IDoESE 2025.


ATTIVITÀ DI REVISIONE
Sandro Morasca ha fatto parte del comitato di programma di numerose conferenze internazionali di ingegneria del software, tra cui "International Conference on Evaluation and Assessment in Software Engineering" (EASE), "International Symposium on Empirical Software Engineering and Measurement" (ESEM), "Fundamental Approaches in Software Engineering" (FASE), "International Conference on Software Engineering and Knowledge Engineering" (SEKE), "International Conference on Software Maintenance" (ICSM), "International Conference on Web Engineering" (ICWE), "International Symposium on Empirical Software Engineering" (ISESE), "International Symposium on Software Reliability Engineering" (ISSRE), "International Symposium on Software Metrics" (METRICS), "International Conference on Open Source Systems" (OSS) e "Symposium on Applied Computing" (SAC).

Ha fatto parte del comitato editoriale della rivista internazionale "Empirical Software Engineering: An International Journal".

È stato guest editor di un numero speciale sulla scoperta della conoscenza dai dati di ingegneria del software dell'International Journal of Software Engineering and Knowledge Engineering. È guest editor di un numero speciale della rivista internazionale "Empirical Software Engineering: An International Journal", basato su Registered Reports.



ORGANIZZAZIONE DI CONFERENZE
Sandro Morasca ha partecipato all'organizzazione delle seguenti conferenze in qualità di:
- Responsabile finanziario del "Sixth International Workshop on Software Specification and Design" (IEEE e ACM)
- Membro del comitato organizzatore del "Congresso AICA" 2001
- General Chair di METRICS 2005.


MEMBRO DI COMMISSIONI MINISTERIALI
Sandro Morasca è stato membro della Commissione per il Software Open Source del Ministero per le Riforme e le Innovazioni nella Pubblica Amministrazione.