Cover Image

Interactive systems : design, specification, and verification : 10th international workshop, DSV-IS 2003, Funchal, Madeira Islands, Portugal, June 11-13, 2003 : revised papers /

Show other versions (1)

This book constitutes the thoroughly refereed post-proceedings of the 10th International Workshop on Design, Specification, and Verification of Interactive Systems, DSV-IS 2003, held in Funchal, Madeira Island, Portugal, in June 2003. The 26 revised full papers and 5 revised short papers presented t...

Full description

Bibliographic Details
Corporate Authors:	DSV-IS 2003 Funchal, Madeira Islands, SpringerLink (Online service)
Other Authors:	Jorge, J. A. (Joaquim A.), Jardim Nunes, Nuno, Falcão e Cunha, João
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer, [2003]
Series:	Lecture notes in computer science ; 2844.
Subjects:	Interactive computer systems > Congresses. Interactive computer systems. Interactieve computersystemen. Interfaces. Programmatuurtechniek. Verificatie. Vormgeving. Electronic books. Conference proceedings.
Online Access:	Connect to the full text of this electronic book

Similar Items

Interactive systems : design, specification, and verification : 7th international workshop, DSV-IS 2000, Limerick, Ireland, June 5-6, 2000 : revised papers /
Published: (2001)

Directions in human factors for interactive systems /
by: Ledgard, Henry F., 1943-
Published: (1981)

Seeing between the pixels : pictures in interactive systems /
by: Strothotte, Christine, 1968-
Published: (1997)

Virtual interaction : interaction in virtual inhabited 3D worlds /
Published: (2001)

Enduser systems and their human factors : proceedings of the scientific symposium conducted on the occasion of the 15th anniversary of the Science Center Heidelberg of IBM Germany, Heidelberg, March 18, 1983 /
Published: (1983)

Interactive systems : design, specification, and verification : 8th international workshop, DSV-IS 2001, Glasgow, Scotland, UK, June 13-15, 2001 : revised papers /
Published: (2001)

Grid computing : the savvy manager's guide /
by: Plaszczak, Pawel
Published: (2006)

Interactive systems : design, specification, and verification : 7th international workshop, DSV-IS 2000, Limerick, Ireland, June 5-6, 2000 : revised papers /
Published: (2001)

Interactive systems : design, specification, and verification : 9th international workshop, DSV-IS 2002, Rostock, Germany, June 12-14, 2002 : revised papers /
Published: (2002)

The grid : blueprint for a new computing infrastructure /
Published: (2004)

Web bloopers : 60 common web design mistakes, and how to avoid them /
by: Johnson, Jeff (Consultant)
Published: (2003)

Usability for the Web : designing Web sites that work /
by: Brinck, Tom
Published: (2002)

(Re)searching the digital Bauhaus /
Published: (2009)

Interactive systems : design, specification, and verification : 10th international workshop, DSV-IS 2003, Funchal, Madeira Islands, Portugal, June 11-13, 2003 : revised papers /
Published: (2003)

Grid computing : the savvy manager's guide /
by: Plaszczak, Pawel
Published: (2006)

Paper prototyping : the fast and easy way to design and refine user interfaces /
by: Snyder, Carolyn
Published: (2003)

Interactive distributed multimedia systems and telecommunication services : 5th International Workshop, IDMS'98 : Oslo, Norway, September 8-11, 1998 : proceedings /
Published: (1998)

Handbook of human-computer interaction /
Published: (1997)

Paper prototyping : the fast and easy way to design and refine user interfaces /
by: Snyder, Carolyn
Published: (2003)

Design, specification and verification of interactive systems '98 : proceedings of the Eurographic workshop in Abingdon, UK, June 3-5, 1998 /
Published: (1998)

Voice interaction design : crafting the new conversational speech systems /
by: Harris, Randy Allen
Published: (2005)

Introduction to knowledge systems /
by: Stefik, Mark
Published: (1995)

Designing user interfaces for hypermedia /
Published: (1995)

Multimodal processing and interaction : audio, video, text /
Published: (2008)

Readings in human-computer interaction : toward the year 2000 /
Published: (1995)

9th International Conference on Automated Deduction : Argonne, Illinois, USA, May 23-26, 1988 : proceedings /
Published: (1988)

Higher-order Perl : transforming programs with programs /
by: Dominus, Mark Jason, 1969-
Published: (2005)

Chris Crawford on interactive storytelling /
by: Crawford, Chris, 1950-
Published: (2005)

Experimental formats & packaging : creative solutions for inspiring graphic design /
Published: (2004)

Applied computing review : a publication of the Special Interest Group on Applied Computing.
Published: (1993)

Co-design for system acceleration : a quantitative approach /
by: Nedjah, Nadia
Published: (2007)

Proceedings of the ... IEEE International Symposium on High Performance Distributed Computing /
Published: (1994)

Handbook of human-computer interaction /
Published: (1988)

Specification and compositional verification of real-time systems /
by: Hooman, J. (Jozef), 1955-
Published: (1991)

Object-oriented reengineering patterns /
by: Demeyer, Serge
Published: (2003)

Tools and algorithms for the construction and analysis of systems : 9th International Conference, TACAS 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : proceedings /
Published: (2003)

Creative review.

A collection of observations on types best remembered by various people charitably disposed to an expatriate editor. A collection of observations on types best forgotten by various people uncharitably disposed to all sorts of different things /
Published: (1993)

Interacting with computers.
Published: (1989)

High performance computing, HiPC 2002 : 9th international conference, Bangalore, India, December 18-21, 2002 : proceedings /
Published: (2002)