Interactive Systems. Design Specification, and Verification 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005, Revised Papers /

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Gilroy, Stephen W. (Editor ), Harrison, Michael D. (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006.
Edición:1st ed. 2006.
Colección:Programming and Software Engineering, 3941
Temas:
Computer science.
User interfaces (Computer systems).
Human-computer interaction.
Information storage and retrieval systems.
Software engineering.
Computer networks .
Theory of Computation.
User Interfaces and Human Computer Interaction.
Information Storage and Retrieval.
Software Engineering.
Computer Science Logic and Foundations of Programming.
Computer Communication Networks.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • 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.

Ejemplares similares