This book constitutes the refereed post-proceedings of the 12th International Workshop on Design, Specification, and Verification of Interactive Systems, DSV-IS 2005. The 20 revised full papers, 1 keynote paper, and 4 summaries of group discussions are organized in topical sections on teams and groups, sketches and templates, away from the desktop, migration and mobility, analysis tools, model-based design processes and tools, and group discussions.

Contenuti:

Keynote.- User Experience and the Idea of Design in HCI.- Teams and Groups.- Formalising Performative Interaction.- DiCoT: A Methodology for Applying Distributed Cognition to the Design of Teamworking Systems.- Towards Model Checking Stochastic Aspects of the thinkteam User Interface.- Incident and Accident Investigation Techniques to Inform Model-Based Design of Safety-Critical Interactive Systems.- Sketches and Templates.- Natural Modelling of Interactive Applications.- Task Model Simulation Using Interaction Templates.- Investigating Annotation in Electronic Paper-Prototypes.- Away from the Desktop.- Test of the ICARE Platform Fusion Mechanism.- A Method for the Verification of Haptic Algorithms.- A Specification Language and System for the Three-Dimensional Visualisation of Knowledge Bases.- Migration and Mobility.- A Calculus for the Refinement and Evolution of Multi-user Mobile Applications.- A Taxonomy for Migratory User Interfaces.- Solving the Mapping Problem in User Interface Design by Seamless Integration in IdealXML.- Analysis Tools.- Concept Analysis as a Formal Method for Menu Design.- Supporting Resource-Based Analysis of Task Information Needs.- Automatic Critiques of Interface Modes.- Quantitative Measurement of Quality Attribute Preferences Using Conjoint Analysis.- Model-Based Design Processes and Tools.- A Model-Based Design Process for Interactive Virtual Environments.- Mapping ConcurTaskTrees into UML 2.0.- Goal-Oriented Design of Domain Control Panels.- Group Discussions.- Future Challenges of Model-Based Design.- Supporting Values Other Than Usability and Performance Within the Design Process.- Ambience and Mobility.- Outdated Ideas of the Design Process and the Future of Formal Models, Methods and Notations.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Descrizione libreria

Quality books, speedy shipping, and great customer service! Please note that used items may not include access codes or cards, CD's or other accessories, regardless of what is stated in item title. If you need to guarantee that these items are included, please purchase a brand new copy.

Visita la pagina della libreria

Informazioni sull?azienda del venditore

J2B Holdings, LLC
13770 NOEL RD, #803600, Dallas, TX, 75240, U.S.A.

Condizioni di vendita:

We guarantee the condition of every book as it's described on the AbeBooks web
sites. Please note that used items may not include access codes or cards, CD's
or other accessories, regardless of what is stated in item title. If you need to
guarantee that these items are included, please purchase a brand new copy.

All requests for refunds and/or returns will be processed in accordance with
AbeBooks policies. If you're dissatisfied with your purchase (Incorrect Book/Not
as Described/Damaged) or if ...

Ulteriori informazioni

Condizioni di spedizione:

Books ordered via expedited shipping should arrive between 2 and 7 business days after shipment confirmation. Books ordered via standard shipping should arrive between 4 and 14 business days after shipment confirmation.

Metodi di pagamento
accettati dalla libreria

Aggiungi ai desiderata

Articoli correlati a Interactive Systems. Design Specification, and Verification:...

Interactive Systems. Design Specification, and Verification: 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005, . (Lecture Notes in Computer Science, 3941)

Gilroy, Stephen W.

Nuovi - Brossura

Informazioni sull?azienda del venditore