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