Design, Specification and Verification of Interactive Systems 2001
Wednesday 13th - Friday 15th June 2001,
The Senate Room, University of Glasgow.
http://www.dcs.gla.ac.uk/~johnson/dsvis_2001
************************** Wednesday 13th June
09.30-10.00 Welcome, Chris Johnson, University of Glasgow, UK.
10.00-11.00 Affoardance, Harold Thimbleby, Middlesex University.
11.30-12.30 Mobile User Interface Design
An XML-Based Runtime User Interface Description Language for
Mobile Computing Devices
K. Luyten and K. Coninx, Limburgs Universitair Centrum, Belgium.
Model Based User Interface Design Using Markup Concepts
A. Muller, P. Forbig and C. Cap, University of Rostock, Germany.
14:00-15:00 Context Sensitivity for Mobile & Non-Mobile Interaction
A Model and a Notation to Support Plasticity in Interactive Systems
K. Schneider and J. Cordy,
University of Saskatchewan and Queens University, Canada.
Task Modelling for Context Sensitive User Interfaces
C. Pibeanu, National Institute for Research and Development
in Informatics, Romania.
15:30-17:00 Design Support for Interactive Systems
QTk: An Integrated Model-Based Approach to Designing
Executable User Interfaces
D. Grolaux, P. Van Roy and J. Vanderdonckt,
Universite Catolique de Louvain,
Institute d' Administration et de Gestion, Belgium.
Automatic Evaluation of Ontology
G. Smith and A. Howes, Cardiff University, UK.
Towards Uniformised Task Models in a Model Based Approach
Q. Limbourg, C. Pribaneau and J. Vanderdonckt,
Universite Catolique de Louvain, Belgium.
************************** Thursday 14th June
09.00-10.00 Invited Talk (to be confirmed),
Michael Holloway, NASA Langley Research Centre, USA.<br><br>
10.30-12.00 Safety-Critical Interaction
Counter-Factual Reasoning in Accident Investigations
C. Johnson, University of Glasgow, UK.
Design Models for Data Capture in Clinical Anaesthesia on a
Pen-Based PDA
P. Gray et al, University of Glasgow, UK.
13:30-15:00 Supervisory and Control Systems
Industrial User Interface Evaluation Based on Coloured Petri
Net Modelling and Analysis
M. de Turnell, A. Scaico, M. de Sousa, A. Pekusich,
University Federal de Paraiba, Brasil.
A Tool Suite for Integrating Task and System Specific Models
Through Scenarios
D. Navarre, P. Palanque, R. Bastide, F. Paterno and C. Santoro,
University of Toulouse I, France, CNUCE-CNR, Pisa, Italy.
15:30-17:00 Discussion Session
************************** Friday 15th June
09.30-11.00 Design for the Web
Representing the Producer: The Use of Semiotic Analysis to
Inform the Design of Interactive Components in Networked Media
A. Light, University of Sussex, UK.
Heuristic Evaluation of web site attractiveness and usability
A. Sutcliffe, UMIST, UK.
11.30-13.30 Temporal and Stochastic Properties of Interaction
Resoning about Interactive Systems with Stochastic Models
G. Doherty, M. Massink and G. Faconti,
Rutherford Appleton Labs. UK, CNR-CNUCE, Italy.
NGT: Natural Specification of Temporal Properties of Interactive
Systems with Multiple Time Granularities</i>
M. Kutar, C. Nehaniv and C. Britton, University of Hertfordshire, UK.
Temporal Patterns for Complex Interaction Design
M. Du and D. England, Liverpool John Moores University, UK.
14:30-16:00 Group-Based Interaction
Modelling Dynamic Group Behaviours
J.L. Garrido and M. Gea, University of Granada, Spain.
Structuring Distributed Virtual Environments Using a
Relational Database Model
B. van Schooten, University of Twente, Netherlands.
16.00-17.00 Close, hand-over and tea
************************* Saturday 16th June
This will provide the opportunity for informal discussions about the issues
raised during the workshop.
The day will be spent on the Isle of Arran, off the west Coast of Scotland.
Further Information:
[log in to unmask]
http://www.dcs.gla.ac.uk/~johnson/dsvis_2001
|
