ATACCS'2011 : 1st International Conference on Application and Theory of Automation in Command and Control Systems : May 26-27, 2011, Barcelona, Spain |
Autore | Saez Francisco Javier |
Pubbl/distr/stampa | [Place of publication not identified], : IRIT Press Toulouse, 2011 |
Descrizione fisica | 1 online resource (164 pages) |
Collana | ACM Other conferences |
Soggetto topico |
Mechanical Engineering
Engineering & Applied Sciences Mechanical Engineering - General |
ISBN | 1-4503-1506-2 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Altri titoli varianti |
Application and Theory of Automation in Command and Control Systems'2011
Proceedings of the 1st International Conference on Application and Theory of Automation in Command and Control Systems ATACCS '11 1st International Conference on Application and Theory of Automation in Command and Control Systems, Barcelona, Spain - May 26 - 27, 2011 |
Record Nr. | UNINA-9910376143103321 |
Saez Francisco Javier
![]() |
||
[Place of publication not identified], : IRIT Press Toulouse, 2011 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
CHI '14 Extended Abstracts on Human Factors in Computing Systems |
Autore | Jones Matt <1968-> |
Pubbl/distr/stampa | [Place of publication not identified], : ACM, 2014 |
Descrizione fisica | 1 online resource (2620 pages) |
Collana | ACM Conferences |
Soggetto topico |
Engineering & Applied Sciences
Computer Science |
ISBN | 1-4503-2474-6 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Altri titoli varianti |
Computer-Human Interaction '14 Extended Abstracts on Human Factors in Computing Systems
CHI '14 CHI Conference on Human Factors in Computing Systems, Toronto, ON, Canada - April 26 - May 01, 2014 |
Record Nr. | UNINA-9910376387203321 |
Jones Matt <1968->
![]() |
||
[Place of publication not identified], : ACM, 2014 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Engineering Human Computer Interaction and Interactive Systems [[electronic resource] ] : Joint Working Conferences EHCI-DSVIS 2004, Hamburg, Germany, July 11-13, 2004, Revised Selected Papers / / edited by Rémi Bastide, Philippe Palanque, Jörg Roth |
Edizione | [1st ed. 2005.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
Descrizione fisica | 1 online resource (XII, 404 p.) |
Disciplina | 621.398 |
Collana | Programming and Software Engineering |
Soggetto topico |
User interfaces (Computer systems)
Software engineering Information storage and retrieval Application software Computers and civilization User Interfaces and Human Computer Interaction Software Engineering Information Storage and Retrieval Information Systems Applications (incl. Internet) Computers and Society |
Soggetto non controllato | EHCI-DSVIS |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Usability -- Bringing Usability Concerns to the Design of Software Architecture -- Empirical Usability Testing in a Component-Based Environment: Improving Test Efficiency with Component-Specific Usability Measures -- Software Architecture Analysis of Usability -- Task Modelling -- Support for Task Modeling – A ”Constructive” Exploration -- DynaMo-AID: A Design Process and a Runtime Architecture for Dynamic Model-Based User Interface Development -- Using Task Modelling Concepts for Achieving Adaptive Workflows -- Browsing and Searching -- Mixing Research Methods in HCI: Ethnography Meets Experimentation in Image Browser Design -- ”Tell Me a Story” Issues on the Design of Document Retrieval Systems -- Model-Based Approaches -- CanonSketch: A User-Centered Tool for Canonical Abstract Prototyping -- Finding Iteration Patterns in Dynamic Web Page Authoring -- Very-High-Fidelity Prototyping for Both Presentation and Dialogue Parts of Multimodal Interactive Systems -- USIXML: A Language Supporting Multi-path Development of User Interfaces -- A Novel Dialog Model for the Design of Multimodal User Interfaces -- Navigation Patterns – Pattern Systems Based on Structural Mappings -- Ubiquitous Computing -- Spatial Control of Interactive Surfaces in an Augmented Environment -- Manipulating Vibro-Tactile Sequences on Mobile PC -- Bridging Viewpoints -- Formalising an Understanding of User-System Misfits -- Supporting a Shared Understanding of Communication-Oriented Concerns in Human-Computer Interaction: A Lexicon-Based Approach -- A Seamless Development Process of Adaptive User Interfaces Explicitly Based on Usability Properties -- Plastic and Adaptive Interfaces -- More Principled Design of Pervasive Computing Systems -- Towards a New Generation of Widgets for Supporting Software Plasticity: The ”Comet” -- Using Interaction Style to Match the Ubiquitous User Interface to the Device-to-Hand -- Supporting Flexible Development of Multi-device Interfaces -- Groupware -- The Software Design Board: A Tool Supporting Workstyle Transitions in Collaborative Software Design -- Supporting Group Awareness in Distributed Software Development. |
Record Nr. | UNISA-996465693803316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Engineering Human Computer Interaction and Interactive Systems [[electronic resource] ] : Joint Working Conferences EHCI-DSVIS 2004, Hamburg, Germany, July 11-13, 2004, Revised Selected Papers / / edited by Rémi Bastide, Philippe Palanque, Jörg Roth |
Edizione | [1st ed. 2005.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
Descrizione fisica | 1 online resource (XII, 404 p.) |
Disciplina | 621.398 |
Collana | Programming and Software Engineering |
Soggetto topico |
User interfaces (Computer systems)
Software engineering Information storage and retrieval Application software Computers and civilization User Interfaces and Human Computer Interaction Software Engineering Information Storage and Retrieval Information Systems Applications (incl. Internet) Computers and Society |
Soggetto non controllato | EHCI-DSVIS |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Usability -- Bringing Usability Concerns to the Design of Software Architecture -- Empirical Usability Testing in a Component-Based Environment: Improving Test Efficiency with Component-Specific Usability Measures -- Software Architecture Analysis of Usability -- Task Modelling -- Support for Task Modeling – A ”Constructive” Exploration -- DynaMo-AID: A Design Process and a Runtime Architecture for Dynamic Model-Based User Interface Development -- Using Task Modelling Concepts for Achieving Adaptive Workflows -- Browsing and Searching -- Mixing Research Methods in HCI: Ethnography Meets Experimentation in Image Browser Design -- ”Tell Me a Story” Issues on the Design of Document Retrieval Systems -- Model-Based Approaches -- CanonSketch: A User-Centered Tool for Canonical Abstract Prototyping -- Finding Iteration Patterns in Dynamic Web Page Authoring -- Very-High-Fidelity Prototyping for Both Presentation and Dialogue Parts of Multimodal Interactive Systems -- USIXML: A Language Supporting Multi-path Development of User Interfaces -- A Novel Dialog Model for the Design of Multimodal User Interfaces -- Navigation Patterns – Pattern Systems Based on Structural Mappings -- Ubiquitous Computing -- Spatial Control of Interactive Surfaces in an Augmented Environment -- Manipulating Vibro-Tactile Sequences on Mobile PC -- Bridging Viewpoints -- Formalising an Understanding of User-System Misfits -- Supporting a Shared Understanding of Communication-Oriented Concerns in Human-Computer Interaction: A Lexicon-Based Approach -- A Seamless Development Process of Adaptive User Interfaces Explicitly Based on Usability Properties -- Plastic and Adaptive Interfaces -- More Principled Design of Pervasive Computing Systems -- Towards a New Generation of Widgets for Supporting Software Plasticity: The ”Comet” -- Using Interaction Style to Match the Ubiquitous User Interface to the Device-to-Hand -- Supporting Flexible Development of Multi-device Interfaces -- Groupware -- The Software Design Board: A Tool Supporting Workstyle Transitions in Collaborative Software Design -- Supporting Group Awareness in Distributed Software Development. |
Record Nr. | UNINA-9910483377203321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
The handbook of formal methods in human-computer interaction [[electronic resource] /] / edited by Benjamin Weyers, Judy Bowen, Alan Dix, Philippe Palanque |
Edizione | [1st ed. 2017.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
Descrizione fisica | 1 online resource (XIV, 575 p. 205 illus., 133 illus. in color.) |
Disciplina | 004.0151 |
Collana | Human–Computer Interaction Series |
Soggetto topico |
User interfaces (Computer systems)
Software engineering Mathematical logic User Interfaces and Human Computer Interaction Software Engineering Mathematical Logic and Formal Languages |
ISBN | 3-319-51838-0 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Foreword -- Part I: Introduction -- State of the Art in Formal Methods in HCI -- Topics of formal methods in HCI -- Trends and Gaps -- Case Studies -- Part II: Modeling, Execution and Simulation -- Visual and Formal Modeling of Modularized and Executable User Interface Models -- Combining Models for Interactive System Modelling -- Activity Modelling for Low-Intention Interaction -- Modelling the User Physigrams – Modeling Physical Device Characteristics Interaction -- Formal Description of Adaptive Interactive Systems based on Executable User Interface Models -- Part II:Analysis, Validation and Verification -- Learning Safe Interactions and Full-Control -- Reasoning About Interactive Systems in Dynamic Situations of Use Enhanced Operator Function Model (EOFM): A Task Analytic Modeling Formalism for Including Human -- Behavior in the Verification of Complex Systems -- The Specification and Analysis of Use Properties of a Nuclear -- Control System -- Formal Analysis of Multiple Coordinated HMI Systems -- Part IV: Future Opportunities and Developments -- Domain-Specific Modelling for Human-Computer Interaction -- Exploiting Action Theory as a Framework for Analysis and Design of Formal Methods Approaches: Application to the CIRCUS Integrated Development Environment -- A Public Tool Suite for Modelling Interactive Applications -- Formal Modeling of App-Ensembles -- Dealing with Faults during Operations: Beyond Classical Use of Formal Methods. . |
Record Nr. | UNINA-9910254824803321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Handbook of Human Computer Interaction [[electronic resource] /] / edited by Jean Vanderdonckt, Philippe Palanque, Marco Winckler |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
Disciplina |
005.437
4.019 |
Soggetto topico |
User interfaces (Computer systems)
Artificial intelligence Software engineering User Interfaces and Human Computer Interaction Artificial Intelligence Software Engineering |
ISBN | 3-319-27648-4 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910768460903321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Human Error, Safety and Systems Development [[electronic resource] ] : 7th IFIP WG 13.5 Working Conference, HESSD 2009, Brussels, Belgium, September 23-25, 2009, Revised Selected Papers / / edited by Philippe Palanque, Jean Vanderdonckt, Marco Winckler |
Edizione | [1st ed. 2010.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
Descrizione fisica | 1 online resource (102 p. 37 illus.) |
Disciplina |
005.437
4.019 |
Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
Soggetto topico |
User interfaces (Computer systems)
Application software Multimedia information systems Aerospace engineering Astronautics Quality control Reliability Industrial safety Computers User Interfaces and Human Computer Interaction Computer Applications Multimedia Information Systems Aerospace Technology and Astronautics Quality Control, Reliability, Safety and Risk Information Systems and Communication Service |
Soggetto genere / forma |
Brüssel (2009)
Kongress. |
ISBN |
1-280-38564-2
9786613563569 3-642-11750-3 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Talk -- New Requirements for Modelling How Humans Succeed and Fail in Complex Traffic Scenarios -- Human Factors in Healthcare Systems -- Integrating Collective Work Aspects in the Design Process: An Analysis Case Study of the Robotic Surgery Using Communication as a Sign of Fundamental Change -- Patient Reactions to Staff Apology after Adverse Event and Changes of Their Views in Four Year Interval -- A Cross-National Study on Healthcare Safety Climate and Staff Attitudes to Disclosing Adverse Events between China and Japan -- Pilot’s Behaviour -- Cognitive Modelling of Pilot Errors and Error Recovery in Flight Management Tasks -- The Perseveration Syndrome in the Pilot’s Activity: Guidelines and Cognitive Countermeasures -- Ergonomics and Safety Critical Systems -- First Experimentation of the ErgoPNets Method Using Dynamic Modeling to Communicate Usability Evaluation Results -- Contextual Inquiry in Signal Boxes of a Railway Organization -- Reducing Error in Safety Critical Health Care Delivery. |
Record Nr. | UNISA-996465662103316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Human Error, Safety and Systems Development [[electronic resource] ] : 7th IFIP WG 13.5 Working Conference, HESSD 2009, Brussels, Belgium, September 23-25, 2009, Revised Selected Papers / / edited by Philippe Palanque, Jean Vanderdonckt, Marco Winckler |
Edizione | [1st ed. 2010.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
Descrizione fisica | 1 online resource (102 p. 37 illus.) |
Disciplina |
005.437
4.019 |
Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
Soggetto topico |
User interfaces (Computer systems)
Application software Multimedia information systems Aerospace engineering Astronautics Quality control Reliability Industrial safety Computers User Interfaces and Human Computer Interaction Computer Applications Multimedia Information Systems Aerospace Technology and Astronautics Quality Control, Reliability, Safety and Risk Information Systems and Communication Service |
Soggetto genere / forma |
Brüssel (2009)
Kongress. |
ISBN |
1-280-38564-2
9786613563569 3-642-11750-3 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Talk -- New Requirements for Modelling How Humans Succeed and Fail in Complex Traffic Scenarios -- Human Factors in Healthcare Systems -- Integrating Collective Work Aspects in the Design Process: An Analysis Case Study of the Robotic Surgery Using Communication as a Sign of Fundamental Change -- Patient Reactions to Staff Apology after Adverse Event and Changes of Their Views in Four Year Interval -- A Cross-National Study on Healthcare Safety Climate and Staff Attitudes to Disclosing Adverse Events between China and Japan -- Pilot’s Behaviour -- Cognitive Modelling of Pilot Errors and Error Recovery in Flight Management Tasks -- The Perseveration Syndrome in the Pilot’s Activity: Guidelines and Cognitive Countermeasures -- Ergonomics and Safety Critical Systems -- First Experimentation of the ErgoPNets Method Using Dynamic Modeling to Communicate Usability Evaluation Results -- Contextual Inquiry in Signal Boxes of a Railway Organization -- Reducing Error in Safety Critical Health Care Delivery. |
Record Nr. | UNINA-9910484898403321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Human-Centered and Error-Resilient Systems Development [[electronic resource] ] : IFIP WG 13.2/13.5 Joint Working Conference, 6th International Conference on Human-Centered Software Engineering, HCSE 2016, and 8th International Conference on Human Error, Safety, and System Development, HESSD 2016, Stockholm, Sweden, August 29-31, 2016, Proceedings / / edited by Cristian Bogdan, Jan Gulliksen, Stefan Sauer, Peter Forbrig, Marco Winckler, Chris Johnson, Philippe Palanque, Regina Bernhaupt, Filip Kis |
Edizione | [1st ed. 2016.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
Descrizione fisica | 1 online resource (XVII, 383 p. 124 illus.) |
Disciplina | 004.21 |
Collana | Programming and Software Engineering |
Soggetto topico |
Software engineering
User interfaces (Computer systems) Application software Programming languages (Electronic computers) Computers Computer system failures Software Engineering User Interfaces and Human Computer Interaction Information Systems Applications (incl. Internet) Programming Languages, Compilers, Interpreters The Computing Profession System Performance and Evaluation |
ISBN | 3-319-44902-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910484578003321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Human-Centered and Error-Resilient Systems Development [[electronic resource] ] : IFIP WG 13.2/13.5 Joint Working Conference, 6th International Conference on Human-Centered Software Engineering, HCSE 2016, and 8th International Conference on Human Error, Safety, and System Development, HESSD 2016, Stockholm, Sweden, August 29-31, 2016, Proceedings / / edited by Cristian Bogdan, Jan Gulliksen, Stefan Sauer, Peter Forbrig, Marco Winckler, Chris Johnson, Philippe Palanque, Regina Bernhaupt, Filip Kis |
Edizione | [1st ed. 2016.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
Descrizione fisica | 1 online resource (XVII, 383 p. 124 illus.) |
Disciplina | 004.21 |
Collana | Programming and Software Engineering |
Soggetto topico |
Software engineering
User interfaces (Computer systems) Application software Programming languages (Electronic computers) Computers Computer system failures Software Engineering User Interfaces and Human Computer Interaction Information Systems Applications (incl. Internet) Programming Languages, Compilers, Interpreters The Computing Profession System Performance and Evaluation |
ISBN | 3-319-44902-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996465666303316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|