Inizio della pagina -
Logo dell'Università degli Studi di Milano-Bicocca
|
Visita la Versione ad elevata leggibilità
|
Vai al Contenuto della pagina
|
Vai alla Fine dei contenuti
|
Vai al Menu Principale
|
Vai alla Barra di navigazione (sei in)
|
Vai al Menu di navigazione (albero)
|
Vai alla Lista dei comandi
|
Vai alla Lista degli approfondimenti
|
Vai al Menu inferiore
|
|Lista dei comandi|
|
Lista dei comandi
|
Versione ad elevata leggibilità
Dimensioni testo: rimpicciolisci testo | normalizza testo | ingrandisci testo  
|
Webmail docenti e personale
|
Webmail studenti
|
Wi-Fi
|
Menu Principale
|
Home
|
|
Ateneo
|
|
Facoltà
|
|
Dipartimenti
|
|
Ricerca
|
|
Personale
|
|
Bandi e concorsi
|
|
Ufficio Stampa
|
|
Albo
|
  
 | Mappa sito | Dove siamo | Muoversi nel Campus | Mappa dei feed | Rubrica		21 May 2012 - Go to chinese version - EN -
|Menu di navigazione|
Elenco Docenti
bsocial
unimib su facebook
bicocca su youtube
unimib su twitter
|Barra di navigazione|
Stampa
Sei in: Home > Elenco Docenti > DENARO GIOVANNI
|Contenuto della pagina|
DENARO GIOVANNI
|Modifica la scheda|
link alle sezioni della pagina:
Vai alla sezione 'Dipartimento' | Vai alla sezione 'Facoltà' | Vai alla sezione 'Edificio e stanza' | Vai alla sezione 'Per saperne di più: altri links' | Vai alla sezione 'Corso di laurea in' | Vai alla sezione 'Corso di laurea magistrale in' | Vai alla sezione 'Master di II livello in' | Vai alla sezione 'Dottorato in' | Vai alla sezione 'Aree tematiche di ricerca' | Vai alla sezione 'Pubblicazioni' |
Foto di DENARO GIOVANNI
Tel.: 02 6448 7810
giovanni.denaro@unimib.it
DENARO GIOVANNI
ricercatore confermato
Settore scientifico disciplinare:
Settore INF/01 - Informatica
Dottore di ricerca in:
Ingegneria Informatica e Utomatica, Politecnico di Milano
Altri titoli accademici:
Laura in Ingeneria Informatica, Politecnico di Milano
Master in ICT, CEFRIEL, Milano
Dipartimento:
dipartimento di informatica sistemistica e comunicazione
Facoltà:
facolta' di scienze matematiche fisiche e naturali
Edificio e stanza:
U14-2012
Per saperne di più: altri links
  1. http://www.lta.disco.unimib.it/lta/personalPages/giovanniDenaro/giovanniDenaro.php
Corso di laurea in:
Informatica
Corso di laurea magistrale in:
Informatica
Master di II livello in:
ITC Management
Dottorato in:
Informatica
Aree tematiche di ricerca:
  1. Ingegneria del software.
  2. Test e analisi del software.
  3. Controllo qualità del software.
  4. Architetture applicative orientate ai servizi.
Parole chiave:
Software engineering; Software testing and analysis
Keywords:
Software engineering; Software testing; Program analysis
Pubblicazioni:
  1. G. Denaro, M. Pezzè, D. Tosi (2009). "Ensuring Interoperable Service-oriented Systems through Engineered Self-Healing". In: Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2009), Amsterdam, The Netherlands.
  2. G. Denaro, M. Pezzè, D. Tosi (2009). Towards Autonomic Service-Oriented Applications". In: International Journal of Autonomic Computing, Vol. 1, No. 1, Inderscience Enterprises Ltd., 2009.
  3. G. Denaro, A. Gorla, M. Pezzè (2008). "Contextual Integration Testing of Classes". In: Proceedings of the International Symposium on the Fundamental Approaches to Software Engineering (FASE 2008), Budapest, Hungary.
  4. G. Denaro, M. Pezzè, O. Shehory (eds.) (2007). "Fourth International Workshop on Software Quality Assurance (SOQUA 2007)". In conjunction with the 6th ESEC/FSE joint meeting, Dubrovnik, Croatia: ACM Press.
  5. G. Denaro, S. Morasca, M. Pezzè (2003). "Towards Industrially Relevant Fault-Proneness Models". In: International Journal of Software Engineering and Knowledge Engineering, World Scientific Publishing Co., vol. 13, n. 4, pp. 395-417.
  6. G. Denaro, M. Pezzè (2002). "An Empirical Evaluation of Fault-Proneness Models". In: Proceedings of the 24th International Conference on Software Engineering (ICSE 2002), Orlando, Florida.
  7. A. Coen-Porisini, G. Denaro, C. Ghezzi, M. Pezzè (2001). "Using Symbolic Execution for Verifying Safety-Critical Systems". In: Proceedings of the Joint 8th European Software Engineering Conference and 9th ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2001), Vienna University of Technology, Austria.

  
|Vai al Inizio della pagina
|
|Fine dei contenuti|
|Lista degli approfondimenti|
Nessun approfondimento presente per questa pagina
Guida dello studente 2011/2012
Software con licenza campus per studenti
Bicocca Open Archive - archivio aperto della produzione scientifica d'Ateneo
BNewsTV, una finestra sul campus
servizi di orientamento di ateneo
Iscriviti alla newsletter!
  |Menu inferiore| • Aiuto • Credits • 
|
Lista dei comandi
|
Area redazionale •		  
© 2005-2012 Università degli Studi di Milano-Bicocca - Piazza dell'Ateneo Nuovo, 1 - 20126, Milano - tel. 02 6448 1
Casella Posta elettronica certificata: ateneo.unimib@legalmail.it
redazioneweb@unimib.it - ultimo aggiornamento di questa pagina 24/12/2009