{"title":"Philippe Palanque","description":null,"products":[{"product_id":"design-specification-and-verification-of-interactive-systems-95-book-philippe-palanque-9783211827390","title":"Design, Specification and Verification of Interactive Systems 95","description":"This book is the final outcome of the Eurographics Workshop on Design, Specification and Verification of Interactive Systems, that was held in Bonas, from June 7 to 9, 1995. This workshop was the second of its kind, following the successful first edition in Italy in 1994. The goal of this ongoing series of meetings is to review the state of the art in the domain of tools, notations and methodologies supporting the design of Interactive Systems. This acknowledges the fact that making systems that are friendlier to the user makes the task ever harder to the designers of such systems, and that much research is still needed to provide the appropriate conceptual and practical tools. The workshop was located in the Chateau de Bonas, in the distant countryside of Toulouse, France. Tms location has been selected to preserve the quiet and studious atmosphere that was established in the monastery of Santa Croce at Bocca di Magra for the first edition, and that was much enjoyed by the participants. The conversations initiated during the sessions often lasted till late at night, in the peaceful atmosphere of the Gers landscape.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52144706453777,"sku":"NLS9783211827390","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783211827390.jpg?v=1785840149"},{"product_id":"engineering-human-computer-interaction-and-interactive-systems-book-philippe-palanque-9783540260974","title":"Engineering Human Computer Interaction and Interactive Systems","description":"As its name suggests, the EHCI-DSVIS conference has been a special event, merging two different, although overlapping, research communities: EHCI (Engineering for Human-Computer Interaction) is a conference organized by the IFIP 2.7\/13.4 working group, started in 1974 and held every three years since 1989. The group’s activity is the scientific investigation of the relationships among the human factors in computing and software engineering. DSVIS (Design, Specification and Verification of Interactive Systems) is an annual conference started in 1994, and dedicated to the use of formal methods for the design of interactive systems. Of course these two research domains have a lot in common, and are informed by each other’s results. The year 2004 was a good opportunity to bring closer these two research communities for an event, the 11th edition of DSVIS and the 9th edition of EHCI. EHCI-DSVIS was set up as a working conference bringing together researchers and practitioners interested in strengthening the scientific foundations of user interface design, specification and verification, and in examining the relationships between software engineering and human-computer interaction. The call for papers attracted a lot of attention, and we received a record number of submissions: out of the 65 submissions, 23 full papers were accepted, which gives an acceptance rate of approximately 34%. Three short papers were also included. The contributions were categorized in 8 chapters: Chapter 1 (Usability and Software Architecture) contains three contributions which advance the state of the art in usability approaches for modern software engineering.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52351106351377,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52351110021393,"sku":"NLS9783540260974","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783540260974.jpg?v=1786103735"},{"product_id":"interactive-systems-design-specification-and-verification-book-philippe-palanque-9783540416630","title":"Interactive Systems. Design, Specification, and Verification","description":"The wait for the year 2000 was marked by the fear of possible bugs that might have arisen at its beginning. One additional fear we had during this wait was whether - ganising this event would have generated a boon or another bug. The reasons for this fear originated in the awareness that the design of interactive systems is a fast moving area. The type of research work presented at this unique event has received limited support from funding agencies and industries making it more difficult to keep up with the rapid technological changes occurring in interaction technology. However, despite our fear, the workshop was successful because of the high-quality level of participation and discussion. Before discussing such results, let us step back and look at the evolution of DSV-IS (Design, Specification and Verification of Interactive Systems), an international wo- shop that has been organised every year since 1994. The first books that addressed this issue in a complete and thorough manner were the collection of contributions edited by Harrison and Thimbleby and the book written by Alan Dix, which focused on abstractions useful to highlight important concepts in the design of interactive systems. Since then, this area has attracted the interest of a wider number of research groups, and some workshops on related topics started to be organised. DSV-IS had its origins in this spreading and growing interest. The first workshop was held in a monastery located in the hills above Bocca di Magra (Italy).","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52354466742545,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52354470412561,"sku":"NLS9783540416630","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783540416630.jpg?v=1786021470"},{"product_id":"human-error-safety-and-systems-development-book-philippe-palanque-9781441954879","title":"Human Error, Safety and Systems Development","description":"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.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52482049147153,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52482050064657,"sku":"NLS9781441954879","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9781441954879.jpg?v=1786091478"},{"product_id":"human-error-safety-and-systems-development-book-philippe-palanque-9781402081521","title":"Human Error, Safety and Systems Development","description":"\u003cp\u003eRecent 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. \u003cbr\u003e\u003cbr\u003e\u003cstrong\u003eHuman Error, Safety and Systems Development\u003c\/strong\u003e 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:\u003cbr\u003e–Techniques for incident and accident analysis; \u003cbr\u003e–Empirical studies of operator behaviour in safety-critical systems; \u003cbr\u003e–Observational studies of safety-critical systems; \u003cbr\u003e–Risk assessment techniques for interactive systems; \u003cbr\u003e–Safety-related interface design, development and testing; \u003cbr\u003e–Formal description techniques for the design and development of safety-critical interactive systems.\u003cbr\u003e\u003cbr\u003eMany 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.\u003c\/p\u003e\n\u003cp\u003eThis 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).\u003c\/p\u003e","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52537095946513,"sku":"NLS9781402081521","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ NEW \/ INGRAM","offer_id":52748604145937,"sku":"NIN9781402081521","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9781402081521.jpg?v=1760677011"},{"product_id":"human-computer-interaction-interact-2007-book-philippe-palanque-9783540747949","title":"Human-Computer Interaction - INTERACT 2007","description":"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.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52616759935249,"sku":"NLS9783540747949","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ NEW \/ INGRAM","offer_id":52761646104849,"sku":"NIN9783540747949","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783540747949.jpg?v=1761528286"},{"product_id":"human-computer-interaction-interact-2007-book-julio-abascal-9783540747994","title":"Human-Computer Interaction - INTERACT 2007","description":"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.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52617335570705,"sku":"NLS9783540747994","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ NEW \/ INGRAM","offer_id":52761673171217,"sku":"NIN9783540747994","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783540747994.jpg?v=1761529980"},{"product_id":"formal-methods-in-human-computer-interaction-book-philippe-palanque-9783540761587","title":"Formal Methods in Human-Computer Interaction","description":"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.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52617865986321,"sku":"NLS9783540761587","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783540761587.jpg?v=1761531556"},{"product_id":"human-error-safety-and-systems-development-book-philippe-palanque-9781475788914","title":"Human Error, Safety and Systems Development","description":null,"brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52684624462097,"sku":"NLS9781475788914","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9781475788914.jpg?v=1762323458"}],"url":"https:\/\/www.worldofbooks.com\/collections\/author-books-by-philippe-palanque.oembed","provider":"World of Books ","version":"1.0","type":"link"}