Articoli correlati a Interactive Systems: Design, Specification, And Verification...
Interactive Systems: Design, Specification, And Verification: 8Th International Workshop, Dsv-Is 2001. Glasgow, Scotland, Uk, June 13-15, 2001. ... Scotland, Uk, June 2001, Revised Papers: 2220 - Brossura
Sinossi
This 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.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Contenuti
Mobile 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.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
- EditoreSpringer
- Data di pubblicazione2001
- ISBN 10 3540428070
- ISBN 13 9783540428077
- RilegaturaCopertina flessibile
- LinguaInglese
- Numero di pagine236
- RedattoreJohnson Chris
Compra nuovo
Visualizza questo articolo
EUR 53,90
EUR 3,53 per la spedizione in U.S.A.
Destinazione, tempi e costiRisultati della ricerca per Interactive Systems: Design, Specification, And Verification...
Foto dell'editore
Interactive Systems: Design, Specification, and Verification: 8th International Workshop, DSV-IS 2001. Glasgow, Scotland, UK, June 13-15, 2001. Revised Papers (Lecture Notes in Computer Science, 2220)
Da: Phatpocket Limited, Waltham Abbey, HERTS, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions. Codice articolo Z1-J-031-01417
Quantità: 1 disponibili
Foto dell'editore
Interactive Systems: Design, Specification, and Verification. 8th International Workshop, DSV-IS 2001. Glasgow, Scotland, UK, June 13-15, 2001. Revised Papers.
Da: Universitätsbuchhandlung Herta Hold GmbH, Berlin, Germania
Valutazione del venditore 4 su 5 stelle
XII, 217 p. Softcover. Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. Lecture Notes in Computer Science, Vol. 2220. Sprache: Englisch. Codice articolo 660EB
Quantità: 1 disponibili
Foto dell'editore
Interactive Systems: Design, Specification, and Verification: 8th International Workshop, DSV-IS 2001. Glasgow, Scotland, UK, June 13-15, 2001. Revised Papers (Lecture Notes in Computer Science, 2220)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo ABLIING23Mar3113020167290
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Interactive Systems : Design,Specification, and Verification, 8th International Workshop, Dsv-Is 2001, Glasgow, Scotland, Uk, June 2001, Revised Papers
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 916246-n
Quantità: Più di 20 disponibili
Foto dell'editore
Interactive Systems: Design, Specification, and Verification: 8th International Workshop, DSV-IS 2001. Glasgow, Scotland, UK, June 13-15, 2001. Revised Papers (Lecture Notes in Computer Science, 2220)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9783540428077_new
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Interactive Systems: Design, Specification, and Verification
Editore:
Springer Berlin Heidelberg Okt 2001, 2001
ISBN 10: 3540428070
ISBN 13: 9783540428077
Nuovo
Taschenbuch
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This 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. 236 pp. Englisch. Codice articolo 9783540428077
Quantità: 2 disponibili
Immagini fornite dal venditore
Interactive Systems : Design,Specification, and Verification, 8th International Workshop, Dsv-Is 2001, Glasgow, Scotland, Uk, June 2001, Revised Papers
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 916246-n
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Interactive Systems: Design, Specification, and Verification : 8th International Workshop, DSV-IS 2001. Glasgow, Scotland, UK, June 13-15, 2001. Revised Papers
Editore:
Springer Berlin Heidelberg, 2001
ISBN 10: 3540428070
ISBN 13: 9783540428077
Nuovo
Taschenbuch
Da: AHA-BUCH GmbH, Einbeck, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This 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. Codice articolo 9783540428077
Quantità: 1 disponibili
Foto dell'editore
Interactive Systems: Design,Specification, and Verification, 8th International Workshop, Dsv-Is 2001, Glasgow, Scotland, Uk, June 2001, Revised Papers
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Brand New. 1st edition. 217 pages. 9.00x6.00x0.50 inches. In Stock. Codice articolo x-3540428070
Quantità: 2 disponibili
Foto dell'editore
Interactive Systems: Design, Specification, and Verification : 8th International Workshop, DSV-IS 2001. Glasgow, Scotland, UK, June 13-15, 2001. Revis
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
PF. Condizione: New. Codice articolo 6666-IUK-9783540428077
Quantità: 10 disponibili