|
| |
ICSE 2000 Workshop
Models in Design of Interactive Systems and Usability Evaluation
DSV-IS 2000: 7th International Workshop on
Design, Specification and Verification of Interactive Systems
Limerick, Ireland, June 5-6, 2000.
Theme
DSV-IS (Design, Specification and Verification of Int eractive Systems) is an
international Workshop that has been organised every year since 1994. The 7th DSV-IS
workshop is organized in co-operation with Eurographics, as previous years, but is linked
with ICSE in order to facilitate greater participation from people working in the Software
Engineering field.
The workshop will provide a forum for the exchange of ideas on diverse approaches to
the design and implementation of interactive systems. The particular focus of this year's
event is on models (e.g. of devices, users, tasks, contexts, architectures, etc. ) and
their role in supporting the design and development of interactive systems.
As in previous years, we maintain our interest in the use of formal representations and
their role in supporting the design, specification, verification, validation and
evaluation of interactive systems. Contributions pertaining to less formal representations
of interactive system designs and model-based design approaches are also encouraged.
Submissions
Submissions should be sent in 5 copies to either workshop chair (see addresses below).
Electronic submissions in PDF format are accepted.
There are two types of submissions:
Full Papers. They should describe original research work or taxonomies
concerning specific issues. In this case submissions should be no longer than 6000 words.
Position Papers. They should express the authors' view on some topics
indicated in the call. They should be about 1000 words long.
We suggest submitters to follow the formatting instructions indicated at
http://www.springer.de/comp/lncs/authors.html
Proceedings
We plan to have informal proceedings at the workshop. Selected revised papers will be
included in the post-workshop proceedings that will be published by Springer Verlag in the
Lecture Notes Computer Science
series.
Topics
The workshop aims to encourage an exchange of ideas between these different research
fields. In the workshop, we aim to review the state of art in the field, to give a
framework to evaluate current approaches, and to identify promising research lines and the
possible results which can be foreseen in the next years. Topics of interest are:
| Model-based design of interactive systems |
Task-based design of interactive systems |
| Formal description of user related properties |
Cognitive models in interactive systems design |
| User interface architectures |
User interface development environments |
| The role of representations (formal/informal) in the design of interactive systems |
Models of context of use |
| Specification-based evaluation of usability |
Formal specification techniques for interactive systems |
| Models for Novel Interaction Techniques |
Design of Interactive-Safety Critical Applications |
| Novel Techniques for Interacting with Formal Models |
Usability Evaluation of Notations |
| UML and HCI |
Software Architectures for User Interfaces |
Program Co-chairs
Program Committee
| Ann Blandford, University of
Middlesex, U.K. |
Robert Jacob, Tufts University, U.S.A. |
| Alan Dix, University of
Huddersfield and aQtive Ltd. |
Peter Johnson, University of Bath, U.K. |
| David Duce, Rutherford
Appleton Lab. - Oxford Brookes University, U.K. |
Chris Johnson, University of Glasgow,
U.K. |
| David Duke, University of York, U.K. |
Panos Markopoulos, University
of Eindhoven, The Netherlands |
| Giorgio Faconti, CNUCE-C.N.R.,
Italy |
Fernando Mario Martins, University of
Minho, Portugal |
| Miguel Gea, University of Granada, Spain |
Angel Puerta, Stanford University and Red Whale,
U.S.A. |
| Nicholas Graham, Queen's
University, Canada |
Jean Vanderdonckt,
Université Catholique de Louvain, Belgique |
| Michael Harrison, University of York, U.K. |
|
Important dates:
 | Submission by February 25, 2000 |
| Notification of acceptance by March 24, 2000. |
| Workshop, June 5-6. |
Information:
Please address manuscripts, requests for information to the workshop chairs :
|
