Torna ai risultati della ricercaBando per assegno di ricerca
| Titolo del progetto di ricerca in italiano | “Modellazione e verifica di modelli UML”finanziato da Regione Lombardia nell’ambito del progetto SITAD. |
|---|---|
| Titolo del progetto di ricerca in inglese | “Modeling and verification of UML models” finanziato da Regione Lombardia nell’ambito del progetto SITAD. |
| Settore Concorsuale | 09 - Ingegneria industriale e dell'informazione |
| S.S.D | ING-INF/05 - SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI |
| Descrizione sintetica in italiano | UML (Unified Modeling Language) è ormai da anni uno strumento di specifica e progettazione per sistemi software complessi, ma l’effettiva utilità è limitata dalla mancanza di una semantica formale e, quindi, dall’impossibilità di analizzare i modelli realizzati in modo rigoroso. In letteratura esistono diverse proposte per gestire il problema, ma spesso si concentrano su un solo di tipo di diagramma di UML e non forniscono una soluzione capace di gestire modelli di dimensione e complessità realistica. In questo contesto, il programma di ricerca si propone di definire ed ottimizzare una semantica formale, basata su logica temporale, per un insieme significativo e consistente di diagrammi, di ottimizzare la generazione dei modelli formali e di ipotizzare soluzioni d’analisi (basate su model checking) incrementali per affrontare il problema della dimensione dei modelli analizzabili |
| Descrizione sintetica in inglese | UML (Unified Modeling Language) has been used for years as specification and design means for complex software systems, but its actual efficacy is limited by the lack of a formal semantics, and thus by the impossibility of conducting rigorous analyses of defined models. The literature already proposes different solutions to cope with this problem, but either they only address a single UML diagram (or a limited subset) or they do not provide a solution able to scale and address significant realistic models. In this context, the research program would like to define a formal semantics for a significant set of UML diagrams, optimize the generation of the corresponding formal models, and identify incremental analysis solutions (based on model checking) to analyze models incrementally and manage their growing complexity. |
| Data del bando | 29/10/2012 |
| Paesi in cui può essere condotta la ricerca |
Italy EUROPE |
| Paesi di residenza dei candidati |
All |
| Nazionalità dei candidati |
All |
| Sito web del bando | http://www.polimi.it/lavora-con-noi/collaborazioni-di-ricerca/assegnidiricerca/ |
| Destinatari dell'assegno di ricerca (of target group) |
Early stage researcher or 0-4 yrs (Post graduate) |
|---|---|
| Processo di selezione in italiano (breve descrizione) | Per partecipare alla selezione, si prega di leggere il bando disponibile sul sito web: http://www.polimi.it/lavora-con-noi/collaborazioni-di-ricerca/assegnidiricerca/ |
| Processo di selezione in inglese (breve descrizione) | In order to participate in the selection, please read the notice of selection (“bando”) available at the following website: http://www.polimi.it/lavora-con-noi/collaborazioni-di-ricerca/assegnidiricerca/ |
| Nome dell'Ente finanziatore | Dipartimento di Elettronica e Informazione |
|---|---|
| Tipologia dell'Ente | Public research |
| Paese dell'Ente | Italy |
| Città | MILANO |
| Codice postale | 20133 |
| Indirizzo | VIA PONZIO 34/5 |
| Sito web | http://www.dei.polimi.it |
| assegniricerca@polimi.it |
| L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? | No |
|---|
| Data di scadenza del bando | 30/11/2012 - alle ore 00:00 |
|---|---|
| Come candidarsi | Other |