1st International School on Methodologies and Tools for Human-computer Interaction
Co-located with INTERACT 2007
Rio the Janeiro, Brazil, 17-21 September 2007
FMIS Website INTERACT 2007 10-14 September 2007 Overview Courses Application, Fees and Financial Support Organising Committee Materials & Photos General Information Tourist Information Sponsors OC Login	MATERIALS & PHOTOS MATERIALS | LIST OF PARTICIPANTS | PHOTOS MATERIALS HCI Design Methods in Semiotic Engineering Lecturer: Simone D.J. Barbosa PUC Rio, Brazil Slides: Whole Course (PDF) Methodologies for the Formal Analysis of Human-computer Interaction Lecturer: Antonio Cerone IIST, United Nations University, Macau SAR China Slides: Viewable slides on dark background, with active links (PDF) Viewable slides on white background, with active links (PDF) Printable slides, one per page (PDF) Printable slides, four per page (PDF) Presentation on UNU-IIST and Macau (PDF) Papers: Formal Analysis of Human Operator Behavioural Patterns in Interactive Surveillance Systems (Antonio Cerone, Simon Connelly, Peter Lindsay) Model-checking Driven Design of Interactive Systems (Antonio Cerone, Norzima Elbegbayan) Code: Simple Example of CSP Code (CSP) Model for the Groupware Example (CSP) Property Specification for the Groupware Example (GCTL) Correct Model for the ATC Example (CSP) Correct Task Failure Decomposition for the ATC Example (GCTL) Model-based Approaches for the Design of Safety Critical Interactive Systems Lecturer: Philippe Palanque LIIHS-IRIT, University of Toulouse III, France Slides: Task Model Approaches (PowerPoint) Interactive Systems Engineering (PowerPoint) Model-based Approaches for the Design of Safety Critical Interactive Systems (PowerPoint) LIST OF PARTICIPANTS Adolfo Almeida Duran Alexandre Mello Ferreira Alline Lemos Aparecido Fabiano Pinatti De Carvalho Danilo de Sousa Ferreira Fernanda Lima Irla Bocianoski Rebelo Junia Cutinho Anacleto Kelma Madeira Marcelo Duduchi Marcio Kuroki Goncalves Paulo Henrique Melo da Fonseca Sergio Roberto da Silva Tiago da Silva Tomas Laurenzo Ana Carolina Innecco Cantuaria de Araujo Cesar Augusto Leitao Eduardo Paiva Frederick M. C. van Amstel Gustavo Gawryszewski Jorge Moreira Gomes Jose Eurico de Vasconcelos Filho Mayra Sasso de Carvalho Monica Maria Coelho Fernandes Rafael Viana de Carvalho PHOTOS

Created: Fri Apr 20 07:56:54 CST 2007	Maintained by
Updated: Fri Nov 23 11:20:36 CST 2007	Antonio Cerone