Content-Transfer-Encoding: |
7bit |
Sender: |
|
Subject: |
|
From: |
|
Date: |
Fri, 1 Jul 2005 12:47:01 +0100 |
Content-Type: |
text/plain; charset=UTF-8; format=flowed |
MIME-Version: |
1.0 |
Reply-To: |
|
Parts/Attachments: |
|
|
The 12th International Workshop on
Design, Specification and Verification of Interactive Systems
DETAILS: http://www.dsvis2005.org/
The Devonshire Building,
University of Newcastle-upon-Tyne, England July 13-15, 2005
CALL FOR PARTICIPATION
Invited speakers:
Cliff Jones - widely known for his books on VDM, Cliff will present
research carried out with Ian Hayes and Michael Jackson on the
specification of systems involving humans.
Peter Wright - author, with John McCarthy of Cork, of the book
"Technology as Experience", Peter will question some of the assumptions
about conceptions of design: performance, models, refinement,
implementation in designing specifying and verifying interactive systems.
Interactive systems, the human computer interface, and support for
collaboration present significant challenges for software engineers.
Developments in ubiquitous and mobile computing have brought further
challenges to interface designers and developers. Specification and
verification techniques are required that can manage the diversity of
platforms and interaction styles. Techniques are required that can be
used to specify and verify such systems taking account of the fact that
users are no longer dedicated to particular platforms when accessing a
service and that information relevant to the service might be inferred
from its environment.
The twelfth international workshop on the "Design, Verification and
Specification of Interactive Systems" provides a venue for researchers
and practitioners to present their latest results and developments.
Papers will be presented (see programme) on topics that relate the user
interface with software engineering, ranging from theory, techniques and
tools for the design, development and validation of interactive systems.
---------------------------------------------------------------
To unsubscribe, send an empty email to
mailto:[log in to unmask]
For further details of CHI lists see http://sigchi.org/listserv
---------------------------------------------------------------
|
|
|