• Fri frakt över 249 kr
  • •
  • Snabba leveranser
  • •
  • Billiga böcker
Kundservice

Du är på sajten för privatpersoner.

Företag, bibliotek eller offentlig verksamhet?

Du handlar på classic.bokus.com, där alla dina funktioner finns intakta.
Till classic.bokus.com
Bokus logotyp. Gå till startsidan.
  • Erbjudanden
  • Nyheter
  • Student
  • Topplistor
  • Barn & ungdom
  • Bokus Play
  • E-böcker
  • Pocketböcker
  • Spel & pussel

Upp till 20% på populära nyheter →

Sidfot

Mina sidor

    Hjälp

    • Kundservice
    • Vanliga frågor och svar
    • Frakt och leverans
    • Retur vid ångerrätt
    • Reklamera vara
    • Betalning
    • Köpvillkor
    • Allmänna villkor
    • Information om webbplatsens tillgänglighet

    Om Bokus

    • Om oss
    • Pressrum
    • För studenter
    • För företag
    • För bibliotek och offentlig verksamhet
    • För leverantörer
    • Hållbarhet

    Populärt

    • Aktuella erbjudanden
    • Presentkort
    • Studentlitteratur
    • Nya böcker
    • Topplistor
    • Signerade böcker
    • Engelska böcker

    Inspiration

    • Boktips
    • BookTok
    • Populära bokserier
    • Barnbokskaraktärer
    • Populära författare

    Mina sidor

      Hjälp

      • Kundservice
      • Vanliga frågor och svar
      • Frakt och leverans
      • Retur vid ångerrätt
      • Reklamera vara
      • Betalning
      • Köpvillkor
      • Allmänna villkor
      • Information om webbplatsens tillgänglighet

      Om Bokus

      • Om oss
      • Pressrum
      • För studenter
      • För företag
      • För bibliotek och offentlig verksamhet
      • För leverantörer
      • Hållbarhet

      Populärt

      • Aktuella erbjudanden
      • Presentkort
      • Studentlitteratur
      • Nya böcker
      • Topplistor
      • Signerade böcker
      • Engelska böcker

      Inspiration

      • Boktips
      • BookTok
      • Populära bokserier
      • Barnbokskaraktärer
      • Populära författare
      Logotyp för Bokus
      Följ oss på Facebook (extern länk)Följ oss på Instagram (extern länk)Följ oss på YouTube (extern länk)Följ oss på TikTok (extern länk)
      bokus @ CookiesIntegritetspolicyKöpvillkor
      Till Citymail hemsida (extern länk)Till Budbee hemsida (extern länk)Till Postnord hemsida (extern länk)Till Schenker hemsida (extern länk)Till Early Bird hemsida (extern länk)Till Walleys hemsida (extern länk)
      1. Data och IT
      2. Systemvetenskap och AI

      Interactive Systems. Design, Specification, and Verification

      7th International Workshop, DSV-IS 2000, Limerick, Ireland, June 5-6, 2000. Revised Papers

      AvPhilippe Palanque,Fabio Paterno

      Häftad, Engelska, 2001

      Del i serien Lecture Notes in Computer Science

      577 kr

      Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

      Beskrivning

      The wait for the year 2000 was marked by the fear of possible bugs that might have arisen at its beginning. One additional fear we had during this wait was whether - ganising this event would have generated a boon or another bug. The reasons for this fear originated in the awareness that the design of interactive systems is a fast moving area. The type of research work presented at this unique event has received limited support from funding agencies and industries making it more difficult to keep up with the rapid technological changes occurring in interaction technology. However, despite our fear, the workshop was successful because of the high-quality level of participation and discussion. Before discussing such results, let us step back and look at the evolution of DSV-IS (Design, Specification and Verification of Interactive Systems), an international wo- shop that has been organised every year since 1994. The first books that addressed this issue in a complete and thorough manner were the collection of contributions edited by Harrison and Thimbleby and the book written by Alan Dix, which focused on abstractions useful to highlight important concepts in the design of interactive systems. Since then, this area has attracted the interest of a wider number of research groups, and some workshops on related topics started to be organised. DSV-IS had its origins in this spreading and growing interest. The first workshop was held in a monastery located in the hills above Bocca di Magra (Italy).

      Produktinformation

      • Utgivningsdatum:2001-01-30
      • Mått:155 x 235 x 15 mm
      • Vikt:411 g
      • Format:Häftad
      • Språk:Engelska
      • Serie:Lecture Notes in Computer Science
      • Antal sidor:258
      • Upplaga:2001
      • Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
      • ISBN:9783540416630

      Utforska kategorier

      • Systemvetenskap och AI inom Data och IT
      • Nätverk och kommunikation inom Data och IT
      • Grafik och bildbehandling inom Data och IT

      Innehållsförteckning

      • Designing Interactive Distributed Systems.- Specifying Temporal Behaviour in Software Architectures for Groupware Systems.- Questioning the Foundations of Utility for Quality of Service in Interface Development.- Designing User Interfaces.- A Framework for the Combination and Characterization of Output Modalities.- Specifying Multiple Time Granularities in Interactive Systems.- Verifying the Behaviour of Virtual Environment World Objects.- Tools for User Interfaces.- SUIT — Context Sensitive Evaluation of User Interface Development Tools.- Structuring Interactive Systems Specifications for Executability and Prototypability.- A Toolkit of Mechanism and Context Independent Widgets.- Formal Methods for Human-Computer Interaction.- Integrating Model Checking and HCI Tools to Help Designers Verify User Interface Properties.- More Precise Descriptions of Temporal Relations within Task Models.- Formal Interactive Systems Analysis and Usability Inspection Methods: Two Incompatible Worlds?.- Model-Based Design of Interactive Systems.- Wisdom — A UML Based Architecture for Interactive Systems.- User Interface Declarative Models and Development Environments: A Survey.- The Task-Dialog and Task-Presentation Mapping Problem: Some Preliminary Results.
      Hoppa över listan

      Du kanske också är intresserad av

      Fabio Paterno, Philippe Palanque - Interactive Systems. Design, Specification, and Verification, E-bok

      Interactive Systems. Design, Specification, and Verification

      Fabio Paterno, Philippe Palanque

      E-bok
      2003

      739 kr

      Fabio Paterno, Philippe Palanque - Formal Methods in Human-Computer Interaction, E-bok

      Formal Methods in Human-Computer Interaction

      Fabio Paterno, Philippe Palanque

      E-bok
      2012

      734 kr

      Philippe Palanque, Fabio Paterno - Formal Methods in Human-Computer Interaction, Häftad

      Formal Methods in Human-Computer Interaction

      Philippe Palanque, Fabio Paterno

      Häftad, 1997

      577 kr

      Annelise Mark Pejtersen, Fabio Paterno, Peter Forbrig - Human-Computer Interaction, E-bok

      Human-Computer Interaction

      Annelise Mark Pejtersen, Fabio Paterno, Peter Forbrig

      E-bok
      2010

      739 kr

      Fabio Paterno - Human Computer Interaction with Mobile Devices, E-bok

      Human Computer Interaction with Mobile Devices

      Fabio Paterno

      E-bok
      2003

      739 kr

      Volker Wulf, Fabio Paterno, Henry Lieberman - End User Development, E-bok

      End User Development

      Volker Wulf, Fabio Paterno, Henry Lieberman

      E-bok
      2006

      2 127 kr

      Fabio Paterno - Interactive Systems: Design, Specification, and Verification, E-bok

      Interactive Systems: Design, Specification, and Verification

      Fabio Paterno

      E-bok
      2012

      739 kr

      Annelise Mark Pejtersen, Fabio Paterno - Human-Computer Interaction Symposium, E-bok

      Human-Computer Interaction Symposium

      Annelise Mark Pejtersen, Fabio Paterno

      E-bok
      2008

      1 427 kr

      Fabio Paternò, Annelise Mark Pejtersen - Human-Computer Interaction Symposium, Inbunden

      Human-Computer Interaction Symposium

      Fabio Paternò, Annelise Mark Pejtersen

      Inbunden, 2008

      1 113 kr

      Fabio Paternò, Volker Wulf - New Perspectives in End-User Development, Inbunden

      New Perspectives in End-User Development

      Fabio Paternò, Volker Wulf

      Inbunden, 2017

      1 716 kr