Bando per assegno di ricerca
Titolo del progetto di ricerca in italiano | Metodi e approcci al design for testability e innovative tecniche di verifica di software business critical di ultima generazione |
---|---|
Titolo del progetto di ricerca in inglese | Methods and approaches of design for testability and novel techniques for verifying modern business critical software |
Campo principale della ricerca | Computer science |
Sottocampo della ricerca | Informatics |
Settore Concorsuale | 09 - Ingegneria industriale e dell'informazione |
S.S.D | ING-INF/05 - SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI |
Descrizione sintetica in italiano | la ricerca ha per oggetto la definizione di un insieme di linee guida e di metodi per la progettazione di software testabile (design for testability) e lo sviluppo di tecniche automatiche per la verifica del software. La ricerca si concentrerà sulla definizione di soluzioni applicabili ai sistemi business critical, come i sistemi bancari, assicurativi e finanziari. La ricerca studierà anche soluzioni utili alla certificazione della qualità del software. |
Descrizione sintetica in inglese | http://www.unimib.it/link/news.jsp?4423403671002434901 the research aims to define a set of guidelines and methods to design testable software (design for testability) and to develop automatic software verification techniques. The research will focus on the definition of solutions for business critical systems, such as, banking, insurance and financial systems. The research will also study solutions for software quality certification. |
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 | http://www.unimib.it/link/news.jsp?4423403671002434901 |
Destinatari dell'assegno di ricerca (of target group) |
More Experienced researcher or >10 yrs (Senior) Early stage researcher or 0-4 yrs (Post graduate) Experienced researcher or 4-10 yrs (Post-Doc) |
---|
Nome dell'Ente finanziatore | Università degli Studi di Milano-Bicocca |
---|---|
Tipologia dell'Ente | Public research |
Paese dell'Ente | Italy |
Città | Milano |
Sito web | http://www.unimib.it |
bandi.assegni_borse@unimib.it |
L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? | No |
---|
Data di scadenza del bando | 25/11/2014 |
---|---|
Come candidarsi | Other |