Bandi per assegni di ricerca

Univ. BOLOGNA

Torna ai risultati della ricerca
Bando per assegno di ricerca
Descrizione del bando
Titolo del progetto di ricerca in italiano Implementazione e semantica di un modello a componenti per Sofware Product Lines 
Titolo del progetto di ricerca in inglese Implementation and semantics of component model for Sofware Product Lines 
Campo principale della ricerca Computer science
Sottocampo della ricerca Programming
Settore Concorsuale 01 - Scienze matematiche e informatiche
S.S.D -
Descrizione sintetica in italiano L'attività di ricerca sarà svolta nell'ambito del progetto europeo
HATS. In questo progetto, un compito importante dell'unita' di Bologna
e' quello di disegnare un modello a componenti che possa integrarsi
con il linguaggio a oggetti ABS per SPL sviluppato in HATS. Si tratta
in particolare di definire una semantica per il modello a componenti
che possa integrarsi bene con la semantica a riduzioni di ABS; e di
implementare poi le componenti sui tool per ABS attualmente
disponibili. Un altro aspetto critico e' il rispetto del modello di
concorrenza di ABS, basato sulla nozione di gruppo (come insieme di
oggetti logicamente legati tra loro, e in cui in ogni istante al piu'
una istanza di oggetto e' in esecuzione).
Descrizione sintetica in inglese The research, that will be developed within the EU project Hats,
is about the design and the implementation of a component model that
has to be integrated with the Object-Oriented language ABS for
Software Product Lines developed in Hats. In particular,
tasks to be carried out are: the definition of a semantics for the
component model that can be easily transported onto the current reduction
semantics for ABS; the implementation of the component on the ABS
tools currently available. Another critical aspect is the respect of
the concurrency model of ABS, based on the notion of group (as a set
of related object is, in which at any instant at most one instance
of one of them is executing).
Data del bando 31/05/2012
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

 

Dettagli dell'assegno di ricerca
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

 

Finanziatore
Nome dell'Ente finanziatore ALMA MATER STUDIORUM - UNIVERSITA' DI BOLOGNA - - DIP. SCIENZE DELL'INFORMAZIONE
Tipologia dell'Ente Public research
Paese dell'Ente Italy
Città Bologna
Sito web http://www.unibo.it

 

Contatto presso l'Ente
E-mail Davide.Sangiorgi@cs.unibo.it
Telefono +39 051 20 9 4873

 

EU Research Framework Programme
L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? Fp7/Other

 

Dettagli per la candidatura
Data di scadenza del bando 20/06/2012
Come candidarsi Other