Torna ai risultati della ricercaBando per assegno di ricerca
| Titolo del progetto di ricerca in italiano | Definizione di metodologie ed algoritmi di reverse engineering e di verifica di software legacy |
|---|---|
| Titolo del progetto di ricerca in inglese | Definition of methodologies and algorithms for legacy software reverse engineering and verification |
| Campo principale della ricerca | Engineering |
| Sottocampo della ricerca | Other |
| Area CUN | 09 - Ingegneria industriale e dell'informazione |
| S.S.D | ING-INF/05 - SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI |
| Descrizione sintetica in italiano | 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. |
| Descrizione sintetica in inglese | The main goal is to study formal models and algorithms to trasnform automata and verification of their properties. The results will be applied to the development of methodologies and techniques for legacy software reverse engineering and verification. Methodologies and techniques will be used in the definition of a software development environment. They will be experimented in real case studies. |
| Data del bando | 15/02/2012 |
| Numero di assegnazioni per anno | 1 |
| E' richiesta mobilità internazionale? | no |
| Paesi in cui può essere condotta la ricerca |
Italy |
| Paesi di residenza dei candidati |
All |
| Nazionalità dei candidati |
All |
| Sito web del bando | http://www.univpm.it/Entra/Engine/RAServePG.php/P/279610013482 |
| Destinatari dell'assegno di ricerca (of target group) |
Experienced researcher or 4-10 yrs (Post-Doc) |
|---|---|
| Importo annuale | 19367 |
| Valuta | Euro |
| Massima durata dell'assegno (mesi) | 12 |
| Criteri di selezione in italiano (breve descrizione) | Per quanto non indicato si rimanda ai criteri e ai requisiti previsti dal bando |
| Processo di selezione in italiano (breve descrizione) | Per titolo e colloquio |
| Nome dell'Ente finanziatore | Università Politecnica delle Marche |
|---|---|
| Tipologia dell'Ente | Public research |
| Paese dell'Ente | Italy |
| Città | Ancona |
| Sito web | http://www.univpm.it |
| personale.docente@univpm.it |
| L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? | No |
|---|
| Data di scadenza del bando | 06/03/2012 |
|---|---|
| Come candidarsi | Other |