Progetto:
Definizione di metodologie ed algoritmi di reverse engineering e di verifica di software legacy
Descrizione del progetto:
L’obiettivo principale sarà lo studio di modelli formali e algoritmi per la trasformazione di automi e la verifica di loro proprietà. I risultati di tale ricerca saranno funzionali allo sviluppo di metodologie e tecniche per il reverse engineering di applicazioni legacy, l’ingegnerizzazione e la verifica di sistemi software. Metodologie e tecniche troveranno applicazione nella definizione di un ambiente di sviluppo software. Metodologie e tecniche verranno inoltre sperimentate in una serie di casi di studio reali.
Titolo di studio richiesto:
Dottorato di Ricerca nell’ambito disciplinare del Settore oggetto del bando di concorso (Sistemi di Elaborazione delle Informazioni).
Data e ora del colloquio:
venerdì 16 marzo 2012, ore 12,30
Sede del colloquio:
Dipartimento di Ingegneria dell’Informazione - Facoltà di Ingegneria – Via Brecce Bianche di Ancona.