Seminari anno 2013


Dr. Hans-Christian Jetter, Intel ICRI Cities, University College London, London (UK)
"Going Post-WIMP: Interaction design between Hotel Search, Nanophotonics and Urban Observatories". 
14 Ottobe 2013

Prof. Paolo Prinetto, Dipartimento di Automatica e Informatica, Politecnico di Torino, Torino
"Metodologie di progetto di sistemi digitali: Stato dell’arte e prospettive". 
1 Ottobe 2013

Prof. David F. Redmiles, Department of Informatics, University of California, Irvine (USA)
    "Awareness, Trust, and Software Tool Support in Distance Collaborations". 
4 Settembre 2013

Dr. Mehul Bhatt, Cognitive Systems (CoSy), and Spatial Cognition Research Center (SFB/TR 8), University of Bremen (Germany)
    "Cognitive Computing For Assistive Technologies: The Case of Commonsense, Space, and Change". 
3 Maggio 2013

Prof. Macario Polo Usaola, Departamento de Tecnologías y Sistemas de Información, Escuela Superior de Informática / Universidad de Castilla-La Mancha (Spain)
    "Fault detection with mutation testing".
24 Aprile 2013

Abstract. Mutation testing is a very powerful testing technique that, traditionally, has been applied by researchers and with research purposes. Testing systems with mutation involves three very costly steps (mutant generation, test case execution and result analysis). These high costs have been the main obstacle for the adoption of mutation in industry. Thanks to the efforts made in the last years, researchers have got a number of techniques to make mutation testing cheaper and, thus, nowadays it can be used at industrial level. This talk introduces the main concepts of mutation, makes an overview of some cost-reduction techniques and will give a brief description of Bacterio, a tool developed at the University of Castilla-La Mancha for mutation testing of Java programs at industrial level. 

Prof. Fabrizio Riguzzi, Dipartimento di Ingegneria, Università di Ferrara 
    "Probabilistic Logics". 
27 Marzo 2013

Prof. Sabrina Marczak, Computer Science School, PUCRS University, Porto Alegre (Brazil) 
    "Requirements-driven Collaboration: A framework and patterns from a case study". 
6 Febbraio 2013