Sviluppo di tecniche di analisi semantica di codice Java

Data inizio
1 luglio 2017
Durata (mesi) 
18
Dipartimenti
Informatica
Responsabili (o referenti locali)
Spoto Nicola Fausto

Il progetto studia e sviluppa tecniche di analisi statica semantica applicabili a codice Java di dimensione industriale e scritto con le tecniche più usate in tale ambito, specialmente nel contesto bancario, come in particolare le librerie Spring, Hibernate e Android.

Enti finanziatori:

Julia s.r.l.
Finanziamento: assegnato e gestito dal Dipartimento

Partecipanti al progetto

Nicola Fausto Spoto
Professore associato
Aree di ricerca coinvolte dal progetto
Ingegneria del Software e verifica formale
Software organization and properties

Attività

Strutture

Condividi