Torna ai risultati della ricercaBando per assegno di ricerca
| Titolo del progetto di ricerca in italiano | Sistemi per adattabilita' in linguaggi concorrenti |
|---|---|
| Titolo del progetto di ricerca in inglese | Systems for adaptability and evolvability in concurrent languages |
| Campo principale della ricerca | Computer science |
| Sottocampo della ricerca | Programming |
| Settore Concorsuale | 01 - Scienze matematiche e informatiche |
| S.S.D | - |
| Descrizione sintetica in italiano | Si studieranno linguaggi di coreografia e orchestrazione nell’ambito dei quali il gruppo del prof. Sangiorgi ha già un’ottima conoscenza e ha ottenuto risultati scientifici importanti. Si considereranno due categorie di modelli. Da un lato si considereranno linguaggi esistenti ed usati in sistemi distribuiti, con l’obiettivo di analizzare problematiche tipiche di questi sistemi. Per questi linguaggi sarà fondamentale il confronto con le tecnologie e gli standard del settore, al fine di poter applicare i risultati ai sistemi reali. Inoltre si studieranno i fondamenti teorici dei concetti di evolvabilita' e adabbilita'. In entrambi i casi si analizzeranno le proprietà di espressività e composizionalità dei linguaggi in questione, e si svilupperanno tecniche di analisi e verifica per i linguaggi stessi. |
| Descrizione sintetica in inglese | We will study choreography and orchestration languages ??in which the group of prof. Sangiorgi has an excellent knowledge and has achieved important scientific results. We will consider two classes of models. On the one hand we will consider existing languages, used in distributed systems, with the aim of analyzing the typical problems of these systems. For these languages ?the comparison with the current technologies and industry standards will be important, to be able to apply the results to real systems. In addition, we will study the theoretical foundations of the concepts of evolvability and adaptability. In both cases, we will analyze the properties of expressiveness and compositionality of the languages ??in question, and will develop techniques of analysis and verification for the languages ??themselves. |
| Data del bando | 06/11/2014 |
| Paesi in cui può essere condotta la ricerca |
Italy |
| Paesi di residenza dei candidati |
All |
| Nazionalità dei candidati |
All |
| Sito web del bando | https://www.aric.unibo.it/AssegniRicerca/BandiPubblicati/zz_Bandi_din.aspx |
| Destinatari dell'assegno di ricerca (of target group) |
Early stage researcher or 0-4 yrs (Post graduate) |
|---|---|
| Criteri di selezione in italiano (breve descrizione) | il bando e la modulistica per partecipare alla procedura di valutazione comparativa sono disponibili all'indirizzo: https://www.aric.unibo.it/AssegniRicerca/BandiPubblicati/zz_Bandi_din.aspx |
| Criteri di selezione in inglese (breve descrizione) | to apply for research grants fill out the form available at the following address: https://www.aric.unibo.it/AssegniRicerca/BandiPubblicati/zz_Bandi_din.aspx |
| Nome dell'Ente finanziatore | ALMA MATER STUDIORUM - UNIVERSITA' DI BOLOGNA - - DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA |
|---|---|
| Tipologia dell'Ente | Public research |
| Paese dell'Ente | Italy |
| Città | Bologna |
| Sito web | http://www.unibo.it |
| luigi.distefano@unibo.it |
| L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? | No |
|---|
| Data di scadenza del bando | 21/11/2014 |
|---|---|
| Come candidarsi | Other |