The handbook of formal methods in human-computer interaction / / 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 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Human Aspects of Visualization [[electronic resource] ] : Second IFIP WG 13.7 Workshop on Human-Computer Interaction and Visualization, HCIV (INTERACT) 2009, Uppsala, Sweden, August 24, 2009, Revised Selected Papers / / edited by Achim Ebert, Alan Dix, Nahum D. Gershon, Margit Pohl |
Edizione | [1st ed. 2011.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
Descrizione fisica | 1 online resource (VII, 173 p. 70 illus., 51 illus. in color.) |
Disciplina |
005.437
4.019 |
Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
Soggetto topico |
User interfaces (Computer systems)
Computer graphics Optical data processing Application software User Interfaces and Human Computer Interaction Computer Graphics Image Processing and Computer Vision Computer Appl. in Social and Behavioral Sciences |
ISBN | 3-642-19641-1 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996465910303316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Proceedings of the European Conference on Cognitive Ergonomics 2023 / / Edited by Alan Dix, Irene Reppa, Carina Westling, Harry Witchel, Stéphane Safin, Gerrit van der Veer, Joseph MacInnes, Harry Witchel, Raymond Bond |
Autore | Dix Alan |
Pubbl/distr/stampa | New York, NY, United States, : Association for Computing Machinery, 2023 |
Descrizione fisica | 1 online resource (189 pages) |
Altri autori (Persone) |
DixAlan
ReppaIrene WestlingCarina WitchelHarry SafinStéphane VeerGerrit van der MacInnesJoseph BondRaymond |
Collana | ACM Other conferences |
Soggetto topico |
Computer science
Empirical studies in interaction design Social and professional topics User studies |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Altri titoli varianti | ECCE '23 |
Record Nr. | UNINA-9910746497903321 |
Dix Alan | ||
New York, NY, United States, : Association for Computing Machinery, 2023 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Proceedings of the European Conference on Cognitive Ergonomics 2023 / / Edited by Alan Dix, Irene Reppa, Carina Westling, Harry Witchel, Stéphane Safin, Gerrit van der Veer, Joseph MacInnes, Harry Witchel, Raymond Bond |
Autore | Dix Alan |
Pubbl/distr/stampa | New York, NY, United States, : Association for Computing Machinery, 2023 |
Descrizione fisica | 1 online resource (189 pages) |
Altri autori (Persone) |
DixAlan
ReppaIrene WestlingCarina WitchelHarry SafinStéphane VeerGerrit van der MacInnesJoseph BondRaymond |
Collana | ACM Other conferences |
Soggetto topico |
Computer science
Empirical studies in interaction design Social and professional topics User studies |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Altri titoli varianti | ECCE '23 |
Record Nr. | UNISA-996552466103316 |
Dix Alan | ||
New York, NY, United States, : Association for Computing Machinery, 2023 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
TAMODIA 2005 : 4th international workshop on task models and diagrams for user interface design |
Autore | Sikorski Marcin |
Pubbl/distr/stampa | [Place of publication not identified], : Association for Computing Machinery, 2005 |
Descrizione fisica | 1 online resource (161 p.;) |
Disciplina | 004.01/9 |
Collana | ACM Other conferences |
Soggetto topico |
Human-computer interaction
User interfaces (Computer systems) Task analysis Engineering & Applied Sciences Computer Science |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Altri titoli varianti | TAMODIA '05 |
Record Nr. | UNINA-9910376477703321 |
Sikorski Marcin | ||
[Place of publication not identified], : Association for Computing Machinery, 2005 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|