Información del autor
Autor Weyers, Benjamin |
Documentos disponibles escritos por este autor (2)
Crear una solicitud de compra Refinar búsqueda27th International Conference, CollabTech 2021, Virtual Event, August 31 – September 3, 2021, Proceedings / Hernández-Leo, Davinia ; Hishiyama, Reiko ; Zurita, Gustavo ; Weyers, Benjamin ; Nolte, Alexander ; Ogata, Hiroaki
TÃtulo : 27th International Conference, CollabTech 2021, Virtual Event, August 31 – September 3, 2021, Proceedings Tipo de documento: documento electrónico Autores: Hernández-Leo, Davinia, ; Hishiyama, Reiko, ; Zurita, Gustavo, ; Weyers, Benjamin, ; Nolte, Alexander, ; Ogata, Hiroaki, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2021 Número de páginas: XII, 117 p. 51 ilustraciones, 38 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-85071-5 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés (eng) Palabras clave: Software de la aplicacion Ciencias sociales Red de computadoras Aplicaciones informáticas y de sistemas de información Aplicación informática en ciencias sociales y del comportamiento. Redes de comunicación informática Clasificación: 005.3 Ciencia de los computadores (Programas) Resumen: Este volumen constituye las actas de la 27.ª Conferencia internacional sobre tecnologÃas de colaboración y computación social, CollabTech 2021, celebrada en agosto/septiembre de 2021. Debido a la pandemia de COVID-19, se llevó a cabo de forma virtual. Los 5 artÃculos completos y los 4 artÃculos en proceso presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados de entre 19 presentaciones. Los artÃculos se centran en enfoques técnicos, humanos y organizativos innovadores para ampliar el apoyo a la colaboración, incluidas las ciencias de la computación, la ciencia de la gestión, la ciencia del diseño, las ciencias cognitivas y las ciencias sociales. Tipo de medio : Computadora Summary : This volume constitutes the proceedings of the 27th International Conference on Collaboration Technologies and Social Computing, CollabTech 2021, held August/September 2021. Due to VOVID-19 pandemic is was held virtually. The 5 full and 4 work-in-process papers presented in this volume were carefully reviewed and selected from 19 submissions. The papers focus on innovative technical, human and organizational approaches to expand collaboration support including computer science, management science, design science, cognitive and social science. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] 27th International Conference, CollabTech 2021, Virtual Event, August 31 – September 3, 2021, Proceedings [documento electrónico] / Hernández-Leo, Davinia, ; Hishiyama, Reiko, ; Zurita, Gustavo, ; Weyers, Benjamin, ; Nolte, Alexander, ; Ogata, Hiroaki, . - 1 ed. . - [s.l.] : Springer, 2021 . - XII, 117 p. 51 ilustraciones, 38 ilustraciones en color.
ISBN : 978-3-030-85071-5
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Idioma : Inglés (eng)
Palabras clave: Software de la aplicacion Ciencias sociales Red de computadoras Aplicaciones informáticas y de sistemas de información Aplicación informática en ciencias sociales y del comportamiento. Redes de comunicación informática Clasificación: 005.3 Ciencia de los computadores (Programas) Resumen: Este volumen constituye las actas de la 27.ª Conferencia internacional sobre tecnologÃas de colaboración y computación social, CollabTech 2021, celebrada en agosto/septiembre de 2021. Debido a la pandemia de COVID-19, se llevó a cabo de forma virtual. Los 5 artÃculos completos y los 4 artÃculos en proceso presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados de entre 19 presentaciones. Los artÃculos se centran en enfoques técnicos, humanos y organizativos innovadores para ampliar el apoyo a la colaboración, incluidas las ciencias de la computación, la ciencia de la gestión, la ciencia del diseño, las ciencias cognitivas y las ciencias sociales. Tipo de medio : Computadora Summary : This volume constitutes the proceedings of the 27th International Conference on Collaboration Technologies and Social Computing, CollabTech 2021, held August/September 2021. Due to VOVID-19 pandemic is was held virtually. The 5 full and 4 work-in-process papers presented in this volume were carefully reviewed and selected from 19 submissions. The papers focus on innovative technical, human and organizational approaches to expand collaboration support including computer science, management science, design science, cognitive and social science. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : The Handbook of Formal Methods in Human-Computer Interaction Tipo de documento: documento electrónico Autores: Weyers, Benjamin, ; Bowen, Judy, ; Dix, Alan, ; Palanque, Philippe, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2017 Número de páginas: XVI, 575 p. 205 ilustraciones, 133 ilustraciones en color. ISBN/ISSN/DL: 978-3-319-51838-1 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés (eng) Palabras clave: Interfaces de usuario (sistemas informáticos) La interacción persona-ordenador IngenierÃa de software TeorÃa de las máquinas Interfaces de usuario e interacción persona-computadora Lenguajes formales y teorÃa de los autómatas Clasificación: 005.437 Resumen: Este libro proporciona una colección completa de métodos y enfoques para utilizar métodos formales dentro de la investigación de la interacción persona-computadora (HCI), cuyo uso es un requisito previo para la usabilidad y la experiencia del usuario (UX) al diseñar sistemas interactivos. Investigadores lÃderes a nivel mundial presentan métodos, herramientas y técnicas para diseñar y desarrollar sistemas interactivos confiables, ofreciendo una discusión extensa sobre el estado actual del arte con estudios de casos que resaltan escenarios y temas relevantes en HCI, asà como una presentación de las tendencias actuales. y brechas en la investigación y oportunidades y desarrollos futuros dentro de este campo emergente. El Manual de métodos formales en la interacción persona-computadora está destinado a investigadores e ingenieros de sistemas interactivos de HCI interesados ​​en facilitar métodos formales en su investigación o trabajo práctico. Nota de contenido: 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 MultipleCoordinated 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. . Tipo de medio : Computadora Summary : 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. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] The Handbook of Formal Methods in Human-Computer Interaction [documento electrónico] / Weyers, Benjamin, ; Bowen, Judy, ; Dix, Alan, ; Palanque, Philippe, . - 1 ed. . - [s.l.] : Springer, 2017 . - XVI, 575 p. 205 ilustraciones, 133 ilustraciones en color.
ISBN : 978-3-319-51838-1
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Idioma : Inglés (eng)
Palabras clave: Interfaces de usuario (sistemas informáticos) La interacción persona-ordenador IngenierÃa de software TeorÃa de las máquinas Interfaces de usuario e interacción persona-computadora Lenguajes formales y teorÃa de los autómatas Clasificación: 005.437 Resumen: Este libro proporciona una colección completa de métodos y enfoques para utilizar métodos formales dentro de la investigación de la interacción persona-computadora (HCI), cuyo uso es un requisito previo para la usabilidad y la experiencia del usuario (UX) al diseñar sistemas interactivos. Investigadores lÃderes a nivel mundial presentan métodos, herramientas y técnicas para diseñar y desarrollar sistemas interactivos confiables, ofreciendo una discusión extensa sobre el estado actual del arte con estudios de casos que resaltan escenarios y temas relevantes en HCI, asà como una presentación de las tendencias actuales. y brechas en la investigación y oportunidades y desarrollos futuros dentro de este campo emergente. El Manual de métodos formales en la interacción persona-computadora está destinado a investigadores e ingenieros de sistemas interactivos de HCI interesados ​​en facilitar métodos formales en su investigación o trabajo práctico. Nota de contenido: 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 MultipleCoordinated 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. . Tipo de medio : Computadora Summary : 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. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
