|
" Interactive systems "
Philippe Palanque, Fabio Paternò (eds.).
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
604387
|
| Doc. No
|
:
|
b433606
|
| Main Entry
|
:
|
DSV-IS 2000(2000 :, Limerick, Ireland)
|
| Title & Author
|
:
|
Interactive systems : design, specification, and verification : 7th international workshop, DSV-IS 2000, Limerick, Ireland, June 5-6, 2000 : revised papers /\ Philippe Palanque, Fabio Paternò (eds.).
|
| Publication Statement
|
:
|
Berlin ;New York :: Springer,, c2001.
|
| Series Statement
|
:
|
Lecture notes in computer science,; 1946
|
| Page. NO
|
:
|
x, 250 p. :: ill. ;; 24 cm.
|
| ISBN
|
:
|
3540416633 (pbk. : alk. paper)
|
|
|
:
|
: 9783540416630 (pbk. : alk. paper)
|
| Bibliographies/Indexes
|
:
|
Includes bibliographical references and indexes.
|
| Contents
|
:
|
Designing interactive distributed systems -- Designing user interfaces -- Tools for user interfaces -- Formal methods for human-computer interaction -- Model-based design of interactive systems.
|
| Subject
|
:
|
Interactive computer systems, Congresses.
|
| Added Entry
|
:
|
Palanque, Philippe,1966-
|
|
|
:
|
Paternò, Fabio,1960-
|
| |