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.
"synopsis" may belong to another edition of this title.
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.
"About this title" may belong to another edition of this title.
Book Description Book Condition: Brand New. New. US edition. Customer Satisfaction guaranteed!!. Bookseller Inventory # SHUB76213
Book Description Book Condition: New. New. US edition. Perfect condition. Ship by express service to USA, Canada, Australia, France, Italy, UK, Germany and Netherland. Customer satisfaction our priority. Bookseller Inventory # ABE-FEB-76213
Book Description Book Condition: Brand New. New, US edition. Excellent Customer Service. Bookseller Inventory # ABEUSA-76213
Book Description Springer, 2005. Paperback. Book Condition: New. book. Bookseller Inventory # 3540260978
Book Description Springer, 2005. Paperback. Book Condition: New. 2005. This item is printed on demand. Bookseller Inventory # DADAX3540260978
Book Description Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, 2005. PAP. Book Condition: New. New Book. Delivered from our UK warehouse in 3 to 5 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Bookseller Inventory # LQ-9783540260974
Book Description Springer, 2005. Paperback. Book Condition: NEW. 9783540260974 This listing is a new book, a title currently in-print which we order directly and immediately from the publisher. Bookseller Inventory # HTANDREE0331703
Book Description Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, 2005. PAP. Book Condition: New. New Book. Shipped from US within 10 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Bookseller Inventory # IQ-9783540260974
Book Description Springer, 2005. Book Condition: New. This item is printed on demand for shipment within 3 working days. Bookseller Inventory # LP9783540260974
Book Description Springer, 2016. Paperback. Book Condition: New. PRINT ON DEMAND Book; New; Publication Year 2016; Not Signed; Fast Shipping from the UK. No. book. Bookseller Inventory # ria9783540260974_lsuk