Información del autor
Autor Palanque, Philippe |
Documentos disponibles escritos por este autor (2)
Crear una solicitud de compra Refinar búsqueda7th IFIP WG 13.2 International Working Conference, HCSE 2018, Sophia Antipolis, France, September 3–5, 2018, Revised Selected Papers / Bogdan, Cristian ; Kuusinen, Kati ; Lárusdóttir, Marta KristÃn ; Palanque, Philippe ; Winckler, Marco
TÃtulo : 7th IFIP WG 13.2 International Working Conference, HCSE 2018, Sophia Antipolis, France, September 3–5, 2018, Revised Selected Papers Tipo de documento: documento electrónico Autores: Bogdan, Cristian, ; Kuusinen, Kati, ; Lárusdóttir, Marta KristÃn, ; Palanque, Philippe, ; Winckler, Marco, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2019 Número de páginas: XV, 354 p. 140 ilustraciones, 111 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-05909-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: Ordenador Sistemas de propósito especial y basados ​​en aplicaciones Inteligencia artificial Aplicaciones informáticas y de sistemas de información IngenierÃa de software La interacción persona-ordenador Interfaces de usuario (sistemas informáticos) Clasificación: 005.1 Resumen: Este libro constituye las actas posteriores a la conferencia arbitradas de la séptima Conferencia Internacional IFIP WG 13.2 sobre IngenierÃa de Software Centrada en Humanos, HCSE 2018, celebrada en Sophia Antipolis, Francia, en septiembre de 2018. Los 11 artÃculos completos y 7 artÃculos cortos presentados junto con 5 Los carteles y los artÃculos de demostración fueron cuidadosamente revisados ​​y seleccionados entre 36 presentaciones. Los artÃculos se centran en las interdependencias entre las propiedades de la interfaz de usuario y contribuyen al desarrollo de teorÃas, métodos, herramientas y enfoques para abordar múltiples propiedades que deben tenerse en cuenta al desarrollar sistemas interactivos. Están organizados en las siguientes secciones temáticas: educación y capacitación en HCI; enfoques basados ​​y dirigidos por modelos; modelado de tareas y enfoques basados ​​en tareas; herramientas y soporte de herramientas; y evaluación de usabilidad y pruebas de UI. Tipo de medio : Computadora Summary : This book constitutes the refereed post-conference proceedings of the 7th IFIP WG 13.2 International Conference on Human-Centered Software Engineering, HCSE 2018, held in Sophia Antipolis, France, in September 2018. The 11 full papers and 7 short papers presented together with 5 poster and demo papers were carefully reviewed and selected from 36 submissions. The papers focus on the interdependencies between user interface properties and contribute to the development of theories, methods, tools and approaches for dealing with multiple properties that should be taken into account when developing interactive systems. They are organized in the following topical sections: HCI education and training; model-based and model-driven approaches; task modeling and task-based approaches; tools and tool support; and usability evaluation and UI testing. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] 7th IFIP WG 13.2 International Working Conference, HCSE 2018, Sophia Antipolis, France, September 3–5, 2018, Revised Selected Papers [documento electrónico] / Bogdan, Cristian, ; Kuusinen, Kati, ; Lárusdóttir, Marta KristÃn, ; Palanque, Philippe, ; Winckler, Marco, . - 1 ed. . - [s.l.] : Springer, 2019 . - XV, 354 p. 140 ilustraciones, 111 ilustraciones en color.
ISBN : 978-3-030-05909-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: Ordenador Sistemas de propósito especial y basados ​​en aplicaciones Inteligencia artificial Aplicaciones informáticas y de sistemas de información IngenierÃa de software La interacción persona-ordenador Interfaces de usuario (sistemas informáticos) Clasificación: 005.1 Resumen: Este libro constituye las actas posteriores a la conferencia arbitradas de la séptima Conferencia Internacional IFIP WG 13.2 sobre IngenierÃa de Software Centrada en Humanos, HCSE 2018, celebrada en Sophia Antipolis, Francia, en septiembre de 2018. Los 11 artÃculos completos y 7 artÃculos cortos presentados junto con 5 Los carteles y los artÃculos de demostración fueron cuidadosamente revisados ​​y seleccionados entre 36 presentaciones. Los artÃculos se centran en las interdependencias entre las propiedades de la interfaz de usuario y contribuyen al desarrollo de teorÃas, métodos, herramientas y enfoques para abordar múltiples propiedades que deben tenerse en cuenta al desarrollar sistemas interactivos. Están organizados en las siguientes secciones temáticas: educación y capacitación en HCI; enfoques basados ​​y dirigidos por modelos; modelado de tareas y enfoques basados ​​en tareas; herramientas y soporte de herramientas; y evaluación de usabilidad y pruebas de UI. Tipo de medio : Computadora Summary : This book constitutes the refereed post-conference proceedings of the 7th IFIP WG 13.2 International Conference on Human-Centered Software Engineering, HCSE 2018, held in Sophia Antipolis, France, in September 2018. The 11 full papers and 7 short papers presented together with 5 poster and demo papers were carefully reviewed and selected from 36 submissions. The papers focus on the interdependencies between user interface properties and contribute to the development of theories, methods, tools and approaches for dealing with multiple properties that should be taken into account when developing interactive systems. They are organized in the following topical sections: HCI education and training; model-based and model-driven approaches; task modeling and task-based approaches; tools and tool support; and usability evaluation and UI testing. 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 [...]
