|
Courses
|
|
HCI Design Methods in Semiotic Engineering
|
|
Lecturer:
|
Simone D.J. Barbosa
|
|
|
PUC Rio, Brazil
|
|
[Abstract]
[Lecturer's Biography]
[Slides]
|
|
|
Methodologies for the Formal Analysis of Human-computer Interaction
|
|
Lecturer:
|
Antonio Cerone
|
|
|
IIST,
United Nations University,
Macau SAR China
|
|
[Abstract]
[Lecturer's Biography]
[Slides]
|
|
|
Model-based Approaches for the Design
of Safety Critical Interactive Systems
|
|
Lecturer:
|
Philippe Palanque
|
|
|
LIIHS-IRIT,
University of Toulouse III,
France
|
|
[Abstract]
[Lecturer's Biography]
[Slides]
|
|
|
Course Abstracts
|
|
|
HCI Design Methods in Semiotic Engineering
|
The goal of this course is to introduce Semiotic Engineering (SemEng), a
Semiotics-based theory of HCI, describing how the theory explains and
addresses the conception, modeling and evaluation of interactive systems.
The focus of the course will be on communication-centered design, an HCI
design approach that makes use of different models and representations
proposed or adapted by SemEng.
Lecturer: Simone D.J. Barbosa
|
|
[Lecturer's Biography]
[Slides]
[Back to Course List]
|
|
|
Methodologies for the Formal Analysis of Human-computer Interaction
|
The course will show model-checking-based methodologies for the formal specification and analysis of
human-computer interaction and will introduce tools to automate the verification process.
The formal analysis will focus on safety and security properties and on their relationship with
usability.
The methodology will be illustrated through simple examples and then applied to more complex case
studies from different application domains such as a groupware system and an air traffic control system.
Lecturer: Antonio Cerone
|
|
[Lecturer's Biography]
[Slides]
[Back to Course List]
|
|
|
Model-based Approaches for the Design
of Safety Critical Interactive Systems
|
This lecture will present various aspects related to interactive
systems engineering based on the notion of models and modelling
approaches.
The first part of the lecture presents the specificities of
interactive systems and how they differ from other computer systems.
This is followed by the presentation of issues related to the
modelling of such systems. Modelling aspects will be addressed at the
behavioural and interaction levels. State-based notations (like
automata, statecharts and Petri nets) will be used to describe the
behavioural aspects of interactive systems. A set of exercises will
be performed showing precisely how to go from a given problem to a
model and then from a model to an implementation in an event-based
environment.
The second part of the lecture presents issues raised by user
modelling including activities (through task models) and behavioural
models. The connection between such models and behavioural models
will be presented and exercises will be proposed to make explicit the
connection.
The last part of the lecture will introduce the notion of design
rationale and will present more precisely how models can be used
throughout the development process to support argumentation and
exploration of options. The environment DREAM will be shortly
presented and small examples will be given on how models can be
embedded within a design rationale process.
Lecturer: Philippe Palanque
|
|
[Lecturer's Biography]
[Slides]
[Back to Course List]
|
|
|
Lecturers' Biographies
|
|
Simone Diniz Junqueira Barbosa
has a degree in Electronics Engineering from
PUC-Rio, where she also obtained her M.Sc. and Ph.D. in Computer Science.
Her professional experience includes 10 years of consultancy in HCI and
software design and development of commercial applications and web sites, as
well as training and education. From 1999 to 2001, she worked as an
Associate Researcher at Tecgraf/PUC-Rio, in the area of Human-Computer
Interaction. In 2001, she joined the Informatics Department at PUC-Rio as an
Assistant Professor in the area of Human-Computer Interaction
Her current work involves teaching undergraduate and graduate courses, and
doing research in the field of Human-Computer Interaction, as seen from a
Semiotic Engineering perspective. She was program co-chair of CLIHC 2003,
and co-organized a workshop at CLIHC 2003 entitled "Reflecion on the
Integration of HCI and SE Models, Techniques and Methods in a Software
Development Process". She has been participating in similar workshops
organized jointly with international events, such as: ICSE 2003 and ICSE
2004, and Interact 2003. She was late-breaking results co-chair for the ACM
CHI 2005 conference. She is the general co-chair of Interact 2007, to be
held in Rio de Janeiro, Brazil.
Research topics of interest include: Model-based User Interface and Help
Design, End-User Programming, Communicability, and Intelligent User
Interfaces.
|
|
[Course Abstract]
[Slides]
[Back to Course List]
|
|
|
Antonio Cerone
joined the International Institute for
Software Technology (IIST) of the United Nations University (UNU)
as a Research Fellow in February 2004.
His research focuses on the use of formal methods in verification of
software and hardware, and in modelling cognitive human behaviour.
He is particularly interested in the verification of interactive systems,
security systems, safety-critical systems, asynchronous hardware and
concurrent and real-time systems.
|
|
[Course Abstract]
[Slides]
[Back to Course List]
|
|
Philippe Palanque
is a professor in computer science at University
Paul Sabatier, Toulouse, France, and has been the head of Logiciels
Interactifs et Interaction Homme-Système (http://liihs.irit.fr/LIIHS)
research group for the last eight years. He has been working for
about 15 years on notations and tools for the specification,
prototyping, validation, and implementation of Safety-Critical
Interactive Systems.
He has been involved in the design of a notation called Interactive
Cooperative Objects, and in the implementation of the supporting case
tool called PetShop, applying the approach to several application
domains including air traffic control, military and civil aircraft
cockpits as well as several real-time command and control systems. He
is currently chairing the IFIP 13.5 working group on Human Error,
Safety and Systems Development and is an adjunct chair for
specialized conferences for the ACM SIGCHI.
|
|
[Course Abstract]
[Slides]
[Back to Course List]
|
|
|