Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the refereed proceedings of the 6th International Workshop on Task Models and Diagrams for User Interface Design, TAMODIA 2007, held in Toulouse, France, in November 2007.The 16 revised full and 7 revised short papers presented together with 1 keynote paper and 2 industrial papers were carefully reviewed and selected from numerous submissions for inclusion in the book. The workshop features current research and gives some indication of the new directions in which task analysis theories, methods, techniques and tools are progressing. The papers are organized in topical sections on extending task models, model-driven engineering, task-based evaluation and testing, task patterns, workflow based systems.

Human-computer interaction --- User interfaces (Computer systems) --- Task analysis --- Interaction homme-machine (Informatique) --- Interfaces utilisateurs (Informatique) --- Emplois --- Congresses. --- Design --- Congrès --- Conception --- Analyse --- Computer Science --- Engineering & Applied Sciences --- Computer science. --- Software engineering. --- Operating systems (Computers). --- Computer logic. --- Multimedia information systems. --- User interfaces (Computer systems). --- Computer simulation. --- Computer Science. --- Operating Systems. --- User Interfaces and Human Computer Interaction. --- Multimedia Information Systems. --- Software Engineering. --- Simulation and Modeling. --- Logics and Meanings of Programs. --- Computer modeling --- Computer models --- Modeling, Computer --- Models, Computer --- Simulation, Computer --- Electromechanical analogies --- Mathematical models --- Simulation methods --- Model-integrated computing --- Interfaces, User (Computer systems) --- Human-machine systems --- Computer-based multimedia information systems --- Multimedia computing --- Multimedia information systems --- Multimedia knowledge systems --- Information storage and retrieval systems --- Computer science logic --- Logic, Symbolic and mathematical --- Computer operating systems --- Computers --- Disk operating systems --- Systems software --- Computer software engineering --- Engineering --- Informatics --- Science --- Operating systems --- Multimedia systems. --- Logic design. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Information systems --- Computer. Automation --- ICT (informatie- en communicatietechnieken) --- IR (information retrieval) --- informatica --- maatschappij --- informatiesystemen --- software engineering

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the refereed proceedings of the 7th IFIP WG 13.5 Working Conference on Human Error, Safety and Systems Development, HESSD 2009, held in Brussels, Belgium, in September 2009. The 8 revised full papers presented with were carefully reviewed and selected from numerous submissions for inclusion in the book. The papers address the problem of developing systems that support human interaction with complex, safety-critical appications. The papers are organized in topical sections on human factors in healthcare systems, pilot's behaviour, ergonomics and safety critical sysems.

Space research --- Astronomy --- Hygiene. Public health. Protection --- Applied physical engineering --- Air traffic --- Plant and equipment --- Production management --- Programming --- Computer architecture. Operating systems --- Information systems --- Computer. Automation --- betrouwbaarheid --- ICT (informatie- en communicatietechnieken) --- astronauten --- applicatiebeheer --- veiligheid (bouw) --- apps --- computers --- informatica --- multimedia --- informatiesystemen --- engineering --- luchtvaart --- kwaliteitscontrole --- ruimtevaart --- architectuur (informatica) --- interfaces

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the refereed proceedings of the 15th International Workshop on Design, Specification, and Verification of Interactive Systems, DSV-IS 2008, held in Kingston, Canada, in July 2008. The 21 revised full papers and 10 late breaking and experience report papers presented were carefully reviewed and selected from numerous submissions for inclusion in the book. The papers cover user interface evaluation and specification, with particular emphasis on the use of task models to provide high-level approaches for capturing the intended functionality of a user interface; examining techniques for modeling user interfaces, particularly for mobile and ubiquitous applications; advanced implementation techniques for interactive systems; and architecture of interactive systems with special focus on evaluation and specification.

Interactive computer systems --- Computer science. --- Computer Communication Networks. --- Software engineering. --- Multimedia systems. --- Information storage and retrieva. --- User Interfaces and Human Computer Interaction. --- Software Engineering/Programming and Operating Systems. --- Multimedia Information Systems. --- Information Storage and Retrieval. --- Software Engineering. --- Computer-based multimedia information systems --- Multimedia computing --- Multimedia information systems --- Multimedia knowledge systems --- Information storage and retrieval systems --- Computer software engineering --- Engineering --- Informatics --- Science --- Information storage and retrieval systems. --- Automatic data storage --- Automatic information retrieval --- Automation in documentation --- Computer-based information systems --- Data processing systems --- Data storage and retrieval systems --- Discovery systems, Information --- Information discovery systems --- Information processing systems --- Information retrieval systems --- Machine data storage and retrieval --- Mechanized information storage and retrieval systems --- Computer systems --- Electronic information resources --- Data libraries --- Digital libraries --- Information organization --- Information retrieval --- User interfaces (Computer systems). --- Computer communication systems. --- Multimedia information systems. --- Information storage and retrieval. --- Communication systems, Computer --- Computer communication systems --- Data networks, Computer --- ECNs (Electronic communication networks) --- Electronic communication networks --- Networks, Computer --- Teleprocessing networks --- Data transmission systems --- Digital communications --- Electronic systems --- Information networks --- Telecommunication --- Cyberinfrastructure --- Electronic data processing --- Network computers --- Interfaces, User (Computer systems) --- Human-machine systems --- Human-computer interaction --- Distributed processing --- User interfaces (Computer systems) --- Computer networks.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book provides a comprehensive collection of methods and approaches for using formal methods within Human-Computer Interaction (HCI) research, the use of which is a prerequisite for usability and user-experience (UX) when engineering interactive systems. World-leading researchers present methods, tools and techniques to design and develop reliable interactive systems, offering an extensive discussion of the current state-of-the-art with case studies which highlight relevant scenarios and topics in HCI as well as a presenting current trends and gaps in research and future opportunities and developments within this emerging field. The Handbook of Formal Methods in Human Computer Interaction is intended for HCI researchers and engineers of interactive systems interested in facilitating formal methods into their research or practical work.

Formal methods (Computer science) --- Computer science. --- Software engineering. --- Mathematical logic. --- User interfaces (Computer systems). --- Computer Science. --- User Interfaces and Human Computer Interaction. --- Software Engineering. --- Mathematical Logic and Formal Languages. --- System design --- Computer software engineering --- Engineering --- Informatics --- Science --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Interfaces, User (Computer systems) --- Human-machine systems --- Human-computer interaction --- User interfaces (Computer systems) --- Logic, Symbolic and mathematical.