Autor Weyers, Benjamin
|
|
Documentos disponibles escritos por este autor (2)
Hacer una sugerencia 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. 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 Índice Dewey: 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. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i 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.
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 Índice Dewey: 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. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i
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. 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 Índice Dewey: 005.437 Interfaces de usuario 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. . En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i 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.
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 Índice Dewey: 005.437 Interfaces de usuario 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. . En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i
