Autor Palanque, Philippe
|
|
Documentos disponibles escritos por este autor (2)
Hacer una sugerencia 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. 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) Ãndice Dewey: 005.1 Programación (Computadoras) 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. 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 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.
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) Ãndice Dewey: 005.1 Programación (Computadoras) 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. 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
