LEADER 04605nam 22008055 450 001 9910768458003321 005 20200703071439.0 010 $a3-540-45522-1 024 7 $a10.1007/3-540-45522-1 035 $a(CKB)1000000000211616 035 $a(SSID)ssj0000324123 035 $a(PQKBManifestationID)11259126 035 $a(PQKBTitleCode)TC0000324123 035 $a(PQKBWorkID)10312516 035 $a(PQKB)10635919 035 $a(DE-He213)978-3-540-45522-6 035 $a(MiAaPQ)EBC3072648 035 $a(PPN)155164538 035 $a(EXLCZ)991000000000211616 100 $a20121227d2001 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aInteractive Systems: Design, Specification, and Verification $e8th International Workshop, DSV-IS 2001. Glasgow, Scotland, UK, June 13-15, 2001. Revised Papers /$fedited by Chris J. Johnson 205 $a1st ed. 2001. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2001. 215 $a1 online resource (XII, 221 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v2220 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-42807-0 320 $aIncludes bibliographical references at the end of each chapters and index. 327 $aMobile Interface Design -- An XML-Based Runtime User Interface Description Language for Mobile Computing Devices -- Model-Based User Interface Design Using Markup Concepts -- Abstract User Interfaces: A Model and Notation to Support Plasticity in Interactive Systems -- Task Modelling for Context-Sensitive User Interfaces -- Supervision and Control Systems -- Industrial User Interface Evaluation Based on Coloured Petri Nets Modelling and Analysis -- A Tool Suite for Integrating Task and System Models through Scenarios -- Temporal and Stochastic Issues -- Temporal Patterns for Complex Interaction Design -- Modelling Dynamic Group Behaviours -- Reasoning about Interactive Systems with Stochastic Models -- New Perspectives -- Towards Uniformed Task Models in a Model-Based Approach -- Heuristic Evaluation of Website Attractiveness and Usability -- Affordance and Symmetry. 330 $aThis book constitutes the thoroughly refereed post-proceedings of the 8th International Workshop on the Design, Specification, and Verification of Interactive Systems, DSV-IS 2001, held in Glasgow, Scotland, UK, in June 2001. The 12 revised full papers presented have gone through two rounds of reviewing, selection, and revision. The book offers topical sections on mobile interface design, context-sensitive interfaces, supervision and control systems, temporal and stochastic issues, and new perspectives. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v2220 606 $aUser interfaces (Computer systems) 606 $aApplication software 606 $aComputer hardware 606 $aComputer graphics 606 $aSoftware engineering 606 $aComputer logic 606 $aUser Interfaces and Human Computer Interaction$3https://scigraph.springernature.com/ontologies/product-market-codes/I18067 606 $aComputer Applications$3https://scigraph.springernature.com/ontologies/product-market-codes/I23001 606 $aComputer Hardware$3https://scigraph.springernature.com/ontologies/product-market-codes/I1200X 606 $aComputer Graphics$3https://scigraph.springernature.com/ontologies/product-market-codes/I22013 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 615 0$aUser interfaces (Computer systems). 615 0$aApplication software. 615 0$aComputer hardware. 615 0$aComputer graphics. 615 0$aSoftware engineering. 615 0$aComputer logic. 615 14$aUser Interfaces and Human Computer Interaction. 615 24$aComputer Applications. 615 24$aComputer Hardware. 615 24$aComputer Graphics. 615 24$aSoftware Engineering. 615 24$aLogics and Meanings of Programs. 676 $a004/.33 702 $aJohnson$b Chris J$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aDSV-IS 2001 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910768458003321 996 $aInteractive Systems. Design, Specification, and Verification$9772166 997 $aUNINA