Custom cover image
Custom cover image

Interactive Systems Design, Specification, and Verification : 7th International Workshop, DSV-IS 2000 Limerick, Ireland, June 5–6, 2000 Revised Papers / edited by Philippe Palanque, Fabio Paternò

By: Contributor(s): Resource type: Ressourcentyp: Buch (Online)Book (Online)Language: English Series: SpringerLink Bücher | Springer eBook Collection Computer Science | Lecture notes in computer science ; 1946Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2001Description: Online-RessourceISBN:
  • 9783540446750
  • 3540416633
Other title:
  • DSV-IS 2000
Subject(s): Genre/Form: Additional physical formats: 9783540416630 | Buchausg. u.d.T.: Interactive systems. Berlin : Springer, 2001. X, 250 S.DDC classification:
  • 004
  • 005.437 23
  • 4.019 23
  • 004.6 23
RVK: RVK: ST 278LOC classification:
  • QA76.9.U83
  • QA76.9.H85
DOI: DOI: 10.1007/3-540-44675-3Online resources: Summary: This book constitutes the thoroughly refereed post-proceedings of the 7th International Workshop on Design, Specification and Verification of Interactive Systems, DSV-IS 2000, held in Limerick, Ireland in June 2000.The 14 revised full papers presented were carefully reviewed and selected from 30 submissions. The papers are organized in topical sections on designing interactive distributed systems, designing user interfaces, tools for user interfaces, formal methods for human-computer interaction, and model-based design of interactive systemsPPN: PPN: 164925038XPackage identifier: Produktsigel: ZDB-2-BAE | ZDB-2-LNC | ZDB-2-SCS | ZDB-2-SXCS | ZDB-2-SEB
No physical items for this record
KIT – The University in the Helmholtz Association                         Home | Impressum | Datenschutz | Barrierefreiheit | KIT