Bando per assegno di ricerca
Titolo del progetto di ricerca in italiano | Software Engineering for Improving the Maintainability of Legacy Software Systems |
---|---|
Titolo del progetto di ricerca in inglese | Software Engineering for Improving the Maintainability of Legacy Software Systems |
Settore Concorsuale | 09 - Ingegneria industriale e dell'informazione |
S.S.D | ING-INF/05 - SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI |
Descrizione sintetica in italiano | Il progetto si inserisce nell’ambito del reverse engineering di applicazioni legacy. Prevede la definizione di metodologie e algoritmi per: a) estrarre da applicazioni legacy una loro rappresentazione formale basata su timed automata; b) verificare le proprietà della rappresentazione ottenuta mediante parameterized model checking. |
Descrizione sintetica in inglese | The project deals with reverse engineering of legacy applications. It consists in defining methodologies and algorithms aimed at: a) extracting a formal representation of legacy applications by means of timed automata; b) verifying the properties of the resulting representation by means of parameterized model checking. |
Data del bando | 26/11/2015 |
Numero di assegnazioni per anno | 1 |
Paesi in cui può essere condotta la ricerca |
Italy |
Paesi di residenza dei candidati |
AFRICA EUROPE OCEANIA NORTH AMERICA SOUTH AMERICA ASIA |
Nazionalità dei candidati |
OCEANIA AFRICA EUROPE NORTH AMERICA SOUTH AMERICA ASIA |
Sito web del bando | http://www.univpm.it/Entra/Engine/RAServePG.php/P/279610010400/M/999210010409/T/Assegni-di-ricerca |
Destinatari dell'assegno di ricerca (of target group) |
Experienced researcher or 4-10 yrs (Post-Doc) |
---|---|
Massima durata dell'assegno (mesi) | 12 |
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 | 16/12/2015 - alle ore 00:00 |
---|---|
Come candidarsi | Other |