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