Assegni di ricerca D.R. n^ 329 del 15.02.2012

 
n. 1 assegno presso la Facoltà di Ingegneria - Settore ING-INF/05
Scadenza 6 marzo 2012
 
Durata del contratto: 
1 anno

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. 

 
 
Documentazione:
 
 
Per informazioni rivolgersi a:
Ripartizione Reclutamento Docenti, Ricercatori e Assegni
Tel: 071 220 2394 / 2305 / 2297
Fax: 071 220 2354
E-mail: personale.docente@univpm.it