Philippe Palanque – författare
Visar alla böcker från författaren Philippe Palanque. Handla med fri frakt och snabb leverans.
38 produkter
38 produkter
Inbunden, Engelska, 2004
1 611 kr
Skickas inom 10-15 vardagar
Recent accidents in a range of industries have increased concern over the design, development, management and control of safety-critical systems. Attention has now focused upon the role of human error both in the development and in the operation of complex processes. Human Error, Safety and Systems Development gathers contributions from practitioners and researchers presenting and discussing leading edge techniques that can be used to mitigate the impact of error (both system and human) on safety-critical systems. Some of these contributions can be easily integrated into existing systems engineering practices while others provide a more theoretical and fundamental perspective on the issues raised by these kinds of interactive systems. More precisely the contributions cover the following themes:–Techniques for incident and accident analysis; –Empirical studies of operator behaviour in safety-critical systems; –Observational studies of safety-critical systems; –Risk assessment techniques for interactive systems; –Safety-related interface design, development and testing; –Formal description techniques for the design and development of safety-critical interactive systems.Many diverse sectors are covered, including but not limited to aviation, maritime and the other transportation industries, the healthcare industry, process and power generation and military applications.This volume contains 20 original and significant contributions addressing these critical questions. The papers were presented at the 7th IFIP Working Group 13.5 Working Conference on Human Error, Safety and Systems Development, which was held in August 2004 in conjunction with the 18th IFIP World Computer Congress in Toulouse, France, and sponsored by the International Federation for Information Processing (IFIP).
Del 152 - IFIP Advances in Information and Communication Technology
Human Error, Safety and Systems Development
IFIP 18th World Computer Congress TC13 / WG13.5 7th Working Conference on Human Error, Safety and Systems Development 22–27 August 2004 Toulouse, France
Häftad, Engelska, 2010
1 611 kr
Skickas inom 10-15 vardagar
Recent accidents in a range of industries have increased concern over the design, development, management and control of safety-critical systems. Attention has now focused upon the role of human error both in the development and in the operation of complex processes. Human Error, Safety and Systems Development gathers contributions from practitioners and researchers presenting and discussing leading edge techniques that can be used to mitigate the impact of error (both system and human) on safety-critical systems. Some of these contributions can be easily integrated into existing systems engineering practices while others provide a more theoretical and fundamental perspective on the issues raised by these kinds of interactive systems. More precisely the contributions cover the following themes:--Techniques for incident and accident analysis; --Empirical studies of operator behaviour in safety-critical systems; --Observational studies of safety-critical systems; --Risk assessment techniques for interactive systems; --Safety-related interface design, development and testing; --Formal description techniques for the design and development of safety-critical interactive systems.Many diverse sectors are covered, including but not limited to aviation, maritime and the other transportation industries, the healthcare industry, process and power generation and military applications.This volume contains 20 original and significant contributions addressing these critical questions. The papers were presented at the 7th IFIP Working Group 13.5 Working Conference on Human Error, Safety and Systems Development, which was held in August 2004 in conjunction with the 18th IFIP World Computer Congress in Toulouse, France, and sponsored by the International Federation for Information Processing (IFIP).
625 kr
Skickas inom 5-8 vardagar
Häftad, Engelska, 2003
558 kr
Skickas inom 10-15 vardagar
This volume contains the full papers presented at HCI 2003, the 17th Annual Conference of the British HCI Group, a specialist group of the British Computer Society. The conference has become the premier annual conference on Human-Computer Interaction in Europe. Attracting researchers, practitioners, educators and users from all over the world, with interests in many facets of human-computer interaction, usability and interactive systems, these published proceedings form an important part of the archive of HCI research. As advances in computing and communications technologies extend the human-computer interface beyond the desktop and into our clothes, streets and buildings, mobile and pervasive applications provide exciting challenges and opportunities. People and Computers XVII - Designing for Society, addresses the main areas of HCI research while focusing on its position and usage within todays society. The papers raise and discuss numerous questions, such as: How do we design for usability when human-computer interaction is dispersed and interwoven throughout our environment? How can we understand and account for the web of influences amongst society, environment and technology?How do we interact successfully with and through devices and networks with many form factors? And, how do we design these devices?
Del 11262 - Lecture Notes in Computer Science
Human-Centered Software Engineering
7th IFIP WG 13.2 International Working Conference, HCSE 2018, Sophia Antipolis, France, September 3–5, 2018, Revised Selected Papers
Häftad, Engelska, 2018
558 kr
Skickas inom 10-15 vardagar
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.
Del 14010 - Lecture Notes in Computer Science
Rigorous State-Based Methods
9th International Conference, ABZ 2023, Nancy, France, May 30–June 2, 2023, Proceedings
Häftad, Engelska, 2023
829 kr
Skickas inom 5-8 vardagar
This book constitutes the refereed proceedings of the 9th International Conference on Rigorous State-Based Methods, ABZ 2023, held in Nancy, France, in May 2023. They deal with state-based and machine-based formal methods, mainly Abstract State Machines (ASM), Alloy, B, TLA+, VDM, and Z.
Del 14517 - Lecture Notes in Computer Science
Engineering Interactive Computer Systems. EICS 2023 International Workshops and Doctoral Consortium
Swansea, UK, June 26-27, 2023, Selected Papers
Häftad, Engelska, 2024
646 kr
Skickas inom 10-15 vardagar
This book presents a series of revised papers selected from the Doctoral Consortium (DC) and the Workshops organized in conjunction with the 15th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2023) which was held in Swansea, United Kingdom, during June 27-30, 2023.The 17 full papers included in this book were carefully reviewed and selected from 33 submissions. They were organized in topical sections as follows: engineering interactive computing systems for people with disabilities (DISAB 2023 Workshop), engineering interactive systems embedding AI technologies (EIS-embedding-AI Workshop) and doctoral consortium EICS 2023.
Del 15518 - Lecture Notes in Computer Science
Engineering Interactive Computer Systems. EICS 2024 International Workshops
Cagliari, Sardinia, Italy, June 24–28, 2024, Revised Selected Papers
Häftad, Engelska, 2025
1 439 kr
Skickas inom 10-15 vardagar
This book presents a series of revised papers selected from the Workshops organized in conjunction with the 16th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2024) which was held in Cagliari, Italy, during June 24
Del 16108 - Lecture Notes in Computer Science
Human-Computer Interaction – INTERACT 2025
20th IFIP TC 13 International Conference, Belo Horizonte, Brazil, September 8–12, 2025, Proceedings, Part I
Häftad, Engelska, 2025
910 kr
Skickas inom 10-15 vardagar
This four-volume set LNCS 16108-16111 constitutes the proceedings of the 20th IFIP TC 13 International Conference on Human-Computer Interaction, INTERACT 2025, held in Belo Horizonte, Brazil, during September 8–12, 2025.The 69 full papers, 34 short papers and 79 papers of other types included in this book were carefully reviewed and selected from 330 submissions. They were organized in topical sections as follows: Part I: Accessibility; Adaptive and AI-Powered Learning Systems; Aesthetics in HCI; Affective HCI and Emotion; and Augmented Reality.Part II: Computer-Supported Cooperative Work; Context-Dependent Systems; Design and Evaluation in Smart and Ubiquitous Contexts; Designing for Identity, Safety, and Cultural Values; Emotionally-Informed Design; HCD for Mission-Critical Systems; HCI in Formal and Inclusive Learning Contexts; HCI in Healthcare and Wellbeing; and Human-AI Interaction.Part III: Interaction with Small or Large Displays; Learning Tools and Intelligent Tutoring; Methodologies for HCI; Multimodal Assistive Interfaces; Usability Evaluation Methods; Usable Privacy and Security.Part IV: Courses; Industrial Experiences; Interactive Demonstrations; Panels; Posters; and Workshops.
Del 16109 - Lecture Notes in Computer Science
Human-Computer Interaction – INTERACT 2025
20th IFIP TC 13 International Conference, Belo Horizonte, Brazil, September 8–12, 2025, Proceedings, Part II
Häftad, Engelska, 2025
906 kr
Skickas inom 5-8 vardagar
This four-volume set LNCS 16108-16111 constitutes the proceedings of the 20th IFIP TC 13 International Conference on Human-Computer Interaction, INTERACT 2025, held in Belo Horizonte, Brazil, during September 8–12, 2025.The 69 full papers, 34 short papers and 79 papers of other types included in this book were carefully reviewed and selected from 330 submissions. They were organized in topical sections as follows: Part I: Accessibility; Adaptive and AI-Powered Learning Systems; Aesthetics in HCI; Affective HCI and Emotion; and Augmented Reality.Part II: Computer-Supported Cooperative Work; Context-Dependent Systems; Design and Evaluation in Smart and Ubiquitous Contexts; Designing for Identity, Safety, and Cultural Values; Emotionally-Informed Design; HCD for Mission-Critical Systems; HCI in Formal and Inclusive Learning Contexts; HCI in Healthcare and Wellbeing; and Human-AI Interaction.Part III: Interaction with Small or Large Displays; Learning Tools and Intelligent Tutoring; Methodologies for HCI; Multimodal Assistive Interfaces; Usability Evaluation Methods; Usable Privacy and Security.Part IV: Courses; Industrial Experiences; Interactive Demonstrations; Panels; Posters; and Workshops.
Del 16110 - Lecture Notes in Computer Science
Human-Computer Interaction – INTERACT 2025
20th IFIP TC 13 International Conference, Belo Horizonte, Brazil, September 8–12, 2025, Proceedings, Part III
Häftad, Engelska, 2025
1 659 kr
Skickas inom 10-15 vardagar
This four-volume set LNCS 16108-16111 constitutes the proceedings of the 20th IFIP TC 13 International Conference on Human-Computer Interaction, INTERACT 2025, held in Belo Horizonte, Brazil, during September 8–12, 2025.The 69 full papers, 34 short papers and 79 papers of other types included in this book were carefully reviewed and selected from 330 submissions. They were organized in topical sections as follows: Part I: Accessibility; Adaptive and AI-Powered Learning Systems; Aesthetics in HCI; Affective HCI and Emotion; and Augmented Reality.Part II: Computer-Supported Cooperative Work; Context-Dependent Systems; Design and Evaluation in Smart and Ubiquitous Contexts; Designing for Identity, Safety, and Cultural Values; Emotionally-Informed Design; HCD for Mission-Critical Systems; HCI in Formal and Inclusive Learning Contexts; HCI in Healthcare and Wellbeing; and Human-AI Interaction.Part III: Interaction with Small or Large Displays; Learning Tools and Intelligent Tutoring; Methodologies for HCI; Multimodal Assistive Interfaces; Usability Evaluation Methods; Usable Privacy and Security.Part IV: Courses; Industrial Experiences; Interactive Demonstrations; Panels; Posters; and Workshops.
Del 16111 - Lecture Notes in Computer Science
Human-Computer Interaction – INTERACT 2025
20th IFIP TC 13 International Conference, Belo Horizonte, Brazil, September 8–12, 2025, Proceedings, Part IV
Häftad, Engelska, 2025
1 651 kr
Skickas inom 5-8 vardagar
This four-volume set LNCS 16108-16111 constitutes the proceedings of the 20th IFIP TC 13 International Conference on Human-Computer Interaction, INTERACT 2025, held in Belo Horizonte, Brazil, during September 8–12, 2025.The 69 full papers, 34 short papers and 79 papers of other types included in this book were carefully reviewed and selected from 330 submissions. They were organized in topical sections as follows: Part I: Accessibility; Adaptive and AI-Powered Learning Systems; Aesthetics in HCI; Affective HCI and Emotion; and Augmented Reality.Part II: Computer-Supported Cooperative Work; Context-Dependent Systems; Design and Evaluation in Smart and Ubiquitous Contexts; Designing for Identity, Safety, and Cultural Values; Emotionally-Informed Design; HCD for Mission-Critical Systems; HCI in Formal and Inclusive Learning Contexts; HCI in Healthcare and Wellbeing; and Human-AI Interaction.Part III: Interaction with Small or Large Displays; Learning Tools and Intelligent Tutoring; Methodologies for HCI; Multimodal Assistive Interfaces; Usability Evaluation Methods; Usable Privacy and Security.Part IV: Courses; Industrial Experiences; Interactive Demonstrations; Panels; Posters; and Workshops.
- Nyhet
Häftad, Engelska, 2026
734 kr
Skickas inom 10-15 vardagar
This book constitutes revised selected papers from the workshops held in conjunction with EICS 2025 and it contains This book presents a series of revised papers selected from the Workshops and Doctoral Consortium organized in conjunction with the 17th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2025) which was held in Trier, Germany, during June 2025.The 17 full papers together with 16 short papers included in this book were carefully reviewed and selected from 71 submissions. They were organized in topical sections as follows: Engineering Interactive Computing Systems Doctoral Consortium (EICS DC 2025)Engineering Interactive Systems Embedding AI Technologies (EISEAIT 2025)Experience 2.0 and Beyond – Engineering Cross Devices and Multiple Realities (EXDMR 2025)Interactive AI for Preventive Health: Personalization, Gamification, and Ethics (IAI4PH 2025)
Häftad, Engelska, 1995
542 kr
Skickas inom 10-15 vardagar
This volume contains 21 contributions which cover the different aspects of interactive systems, from formal user modelling to formal techniques for prototyping, and describes state-of-the-art developments in these topics, also giving new directions for future research. The book should be of interest to all scientists working in the formal aspects of the interactive systems field, but it is also useful for the practitioner involved in the design of reliable interactive systems.
Del 9297 - Lecture Notes in Computer Science
Human-Computer Interaction – INTERACT 2015
15th IFIP TC 13 International Conference, Bamberg, Germany, September 14-18, 2015, Proceedings, Part II
Häftad, Engelska, 2015
558 kr
Skickas inom 10-15 vardagar
The four-volume set LNCS 9296-9299 constitutes the refereed proceedings of the 15th IFIP TC13 International Conference on Human-Computer Interaction, INTERACT 2015, held in Bamberg, Germany, in September 2015. HCI for developing regions and social development;
Del 9298 - Lecture Notes in Computer Science
Human-Computer Interaction – INTERACT 2015
15th IFIP TC 13 International Conference, Bamberg, Germany, September 14-18, 2015, Proceedings, Part III
Häftad, Engelska, 2015
1 108 kr
Skickas inom 10-15 vardagar
The four-volume set LNCS 9296-9299 constitutes the refereed proceedings of the 15th IFIP TC13 International Conference on Human-Computer Interaction, INTERACT 2015, held in Bamberg, Germany, in September 2015. The 43 papers included in the third volume are organized in topical sections on HCI for global software development;
Del 9296 - Lecture Notes in Computer Science
Human-Computer Interaction – INTERACT 2015
15th IFIP TC 13 International Conference, Bamberg, Germany, September 14-18, 2015, Proceedings, Part I
Häftad, Engelska, 2015
1 108 kr
Skickas inom 10-15 vardagar
The four-volume set LNCS 9296-9299 constitutes the refereed proceedings of the 15th IFIP TC13 International Conference on Human-Computer Interaction, INTERACT 2015, held in Bamberg, Germany, in September 2015. accessible interfaces for blind people; accessible interfaces for older adults; interfaces for cognitive support;
Del 9299 - Lecture Notes in Computer Science
Human-Computer Interaction – INTERACT 2015
15th IFIP TC 13 International Conference, Bamberg, Germany, September 14-18, 2015, Proceedings, Part IV
Häftad, Engelska, 2015
558 kr
Skickas inom 10-15 vardagar
The four-volume set LNCS 9296-9299 constitutes the refereed proceedings of the 15th IFIP TC13 International Conference on Human-Computer Interaction, INTERACT 2015, held in Bamberg, Germany, in September 2015.The 74 full and short papers and 4 organizational overviews, 2 panels, 6 tutorials, and 11 workshops included in the fourth volume are organized in topical sections on tangible and tactile interaction; tools for design; touch and haptic; user and task modelling; visualization; visualization 3D; visualization in virtual spaces; wearable computing; demonstrations; and interactive posters.
Del 9856 - Lecture Notes in Computer Science
Human-Centered and Error-Resilient Systems Development
IFIP WG 13.2/13.5 Joint Working Conference, 6th International Conference on Human-Centered Software Engineering, HCSE 2016, and 8th International Conference on Human Error, Safety, and System Development, HESSD 2016, Stockholm, Sweden, August 29-31, 2016, Proceedings
Häftad, Engelska, 2016
558 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the IFIP WG 13.2/13.5 Joint Working Conferences: 6th International Conference on Human-Centered Software Engineering, HCSE 2016, and 8th International Conference on Human Error, Safety, and System Development, HESSD 2016, held in Stockholm, Sweden, in August 2016.The 11 full papers and 14 short papers presented were carefully reviewed and selected from 32 submissions. The papers cover various topics such as integration of software engineering and user-centered design; HCI models and model-driven engineering; incorporating guidelines and principles for designing usable products in the development process; usability engineering; methods for user interface design; patterns in HCI and HCSE; software architectures for user interfaces; user interfaces for special environments; representations for design in the development process; working with iterative and agile process models in HCSE; social and organizational aspects in the software development lifecycle; human-centric software development tools; user profiles and mental models; user requirements and design constraints; and user experience and software design.
Inbunden, Engelska, 2017
3 641 kr
Skickas inom 10-15 vardagar
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 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.
Häftad, Engelska, 2018
3 641 kr
Skickas inom 10-15 vardagar
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 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.
Häftad, Engelska, 1995
558 kr
Skickas inom 10-15 vardagar
This work discusses the issues arising from the emerging discipline of User Interface Systems Engineering (UISE). It contains contributions from software engineers involved in the development and implementation of systems, systems modellers charged with developing representations for systems, and tool builders developing enhanced software tools for system developers. The book should be appropriate for a range of specialist courses on user interface development, particularly software engineering courses on user interface design and for courses on human-computer interaction which emphasise the need to implement rather than simply discuss interfaces.
Häftad, Engelska, 2005
558 kr
Skickas inom 10-15 vardagar
This book constitutes the joint thoroughly refereed post-proceedings of the 9th IFIP International Conference on Engineering for Human Computer Interaction and of the 11th International Workshop on Design, Specification, and Verification of Interactive Systems, EHCI-DSVIS 2004, held in Hamburg, Germany in July 2004.The 25 revised full papers presented have gone through two rounds of reviewing and improvement and were selected from initially 65 submissions. The papers are organized in topical sections on usability, task modeling, browsing and searching, model-based approaches, ubiquitous computing, bridging viewpoints, plastic and adaptive interfaces, and groupware.
Häftad, Engelska, 2001
558 kr
Skickas inom 10-15 vardagar
This book constitutes the thoroughly refereed post-proceedings of the 7th International Workshop on Design, Specification and Verification of Interactive Systems, DSV-IS 2000, held in Limerick, Ireland in June 2000. The 14 revised full papers presented were carefully reviewed and selected from 30 submissions. The papers are organized in topical sections on designing interactive distributed systems, designing user interfaces, tools for user interfaces, formal methods for human-computer interaction, and model-based design of interactive systems.
Häftad, Engelska, 2008
558 kr
Skickas inom 10-15 vardagar
The modern world has made available a wealth of new possibilities for interacting with computers, through advanced Web applications, while on the go with handheld smart telephones or using electronic tabletops or wall-sized displays. Developers of modern interactive systems face great problems: how to design applications which will work well with newly available technologies, and how to efficiently and correctly implement such designs. Design, Specification and Verification of Interactive Systems 2008 was the 15th of a series of annual workshops devoted to helping designers and implementers of interactive systems unleash the power of modern interaction devices and techniques. DSV-IS 2008 was held at Queen’s University in Kingston, Canada, during July 16–18, 2008. This book collects the best papers submitted to the workshop. There were 17 full papers, 10 late-breaking and experience report papers, and two demonstrations. Keynote presentations were provided by Judy Brown of Carleton University and Randy Ellis of Queen’s University. The first day of the workshop addressed the problems of user interface evaluation and specification, with particular emphasis on the use of task models to provide hi- level approaches for capturing the intended functionality of a user interface. Day two continued this theme, examining techniques for modeling user interfaces, particularly for mobile and ubiquitous applications. Presenters also discussed advanced implem- tation techniques for interactive systems. Finally, day three considered how to arc- tect interactive systems, and returned to the themes of evaluation and specification.
Häftad, Engelska, 2007
1 108 kr
Skickas inom 10-15 vardagar
This book is part of a two-volume work that constitutes the refereed proceedings of the 11th IFIP TC13 International Conference on Human-Computer Interaction, INTERACT 2007, held in Rio de Janeiro, Brazil in September 2007. It covers social computing, UI prototyping, user centered design methods and techniques, intelligent user interfaces, accessibility, designing for multiples devices, affective computing, 3D interaction and 3D interfaces, as well evaluation methods.
Häftad, Engelska, 2007
1 108 kr
Skickas inom 10-15 vardagar
This book is part of a two-volume work that constitutes the refereed proceedings of the 11th IFIP TC13 International Conference on Human-Computer Interaction, INTERACT 2007, held in Rio de Janeiro, Brazil in September 2007. It covers tangible user interfaces and interaction; cultural issues in HCI; safety, security, privacy and usability; visualizing social information; online communities and e-learning; children, games, and the elderly; as well as software engineering and HCI.
Häftad, Engelska, 1997
558 kr
Skickas inom 10-15 vardagar
Formal methods have already been shown to improve the development process and quality assurance in system design and implementation. This is an examination of whether these benefits also apply to the field of human-computer interface design and implementation, and whether formal methods can offer useful support in usability evaluation and obtaining more reliable implementations of user requirements. The main aim of this text is to compare the different approaches and examine which particular type of implementation and problem each one is best suited to. To enable the reader to compare and contrast the approaches as easily as possible, each one is applied to the same case study - the specification of an ideal Netscape-like Web browser and HTML page server.
Häftad, Engelska, 2007
558 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the 6th International Workshop on Task Models and Diagrams for User Interface Design, TAMODIA 2007, held in Toulouse, France, in November 2007. The workshop features current research and gives some indication of the new directions in which task analysis theories, methods, techniques and tools are progressing. The papers are organized in topical sections.
Häftad, Engelska, 2008
1 108 kr
Skickas inom 10-15 vardagar
Engineering Interactive Systems 2007 is an IFIP working conference that brings together researchers and practitioners interested in strengthening the scientific foun- tions of user interface design, examining the relationship between software engine- ing (SE) and human–computer interaction (HCI) and on how user-centerd design (UCD) could be strengthened as an essential part of the software engineering process. Engineering Interactive Systems 2007 was created by merging three conferences: • HCSE 2007 – Human-Centerd Software Engineering held for the first time. The HCSE Working Conference is a multidisciplinary conference entirely dedicated to advancing the basic science and theory of human-centerd software systems engineering. It is organized by IFIP WG 13.2 on Methodologies for User-Centerd Systems Design. • EHCI 2007 – Engineering Human Computer Interaction was held for the tenth time. EHCI aims to investigate the nature, concepts, and construction of user interfaces for software systems. It is organized by IFIP WG 13.4/2.7 on User Interface Engineering. • DSV-IS 2007 – Design, Specification and Verification of Interactive Systems was held for the 13th time. DSV-IS provides a forum where researchers wo- ing on model-based techniques and tools for the design and development of - teractive systems can come together with practitioners and with those working on HCI models and theories.