دانلود کتاب Interactive Systems. Design, Specification, and Verification: 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008 Revised Papers
کتاب سیستم های تعاملی طراحی، مشخصات، و تأیید: پانزدهمین کارگاه بین المللی، DSV-IS 2008 کینگستون، کانادا، 16-18 جولای، 2008 مقالات تجدید نظر شده نسخه زبان اصلی
دانلود کتاب سیستم های تعاملی طراحی، مشخصات، و تأیید: پانزدهمین کارگاه بین المللی، DSV-IS 2008 کینگستون، کانادا، 16-18 جولای، 2008 مقالات تجدید نظر شده بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد
توضیحاتی در مورد کتاب Interactive Systems. Design, Specification, and Verification: 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008 Revised Papers
نام کتاب : Interactive Systems. Design, Specification, and Verification: 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008 Revised Papers
ویرایش : 1
عنوان ترجمه شده به فارسی : سیستم های تعاملی طراحی، مشخصات، و تأیید: پانزدهمین کارگاه بین المللی، DSV-IS 2008 کینگستون، کانادا، 16-18 جولای، 2008 مقالات تجدید نظر شده
سری : Lecture Notes in Computer Science 5136 Programming and Software Engineering
نویسندگان : Ann Blandford, Paul Curzon, Joanne Hyde (auth.), T. C. Nicholas Graham, Philippe Palanque (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال نشر : 2008
تعداد صفحات : 318
ISBN (شابک) : 9783540705680 , 9783540705697
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 22 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
توضیحاتی در مورد کتاب :
این کتاب مجموعه مقالات داوری پانزدهمین کارگاه بین المللی طراحی، مشخصات و تأیید سیستم های تعاملی، DSV-IS 2008، در کینگستون، کانادا، در ژوئیه 2008 است.
21 مقاله کامل اصلاح شده و 10 مقاله گزارش تجربی و تأخیر ارائه شده به دقت بررسی و از بین ارسال‌های متعدد برای گنجاندن در کتاب انتخاب شدند. این مقالات ارزیابی و مشخصات رابط کاربری را با تأکید ویژه بر استفاده از مدل‌های وظیفه برای ارائه رویکردهای سطح بالا برای ثبت عملکرد مورد نظر یک رابط کاربری پوشش می‌دهند. بررسی تکنیک‌های مدل‌سازی رابط‌های کاربر، به‌ویژه برای برنامه‌های کاربردی تلفن همراه و همه‌جا. تکنیک های پیاده سازی پیشرفته برای سیستم های تعاملی؛ و معماری سیستم های تعاملی با تمرکز ویژه بر ارزیابی و مشخصات.
فهرست مطالب :
Front Matter....Pages -
EMU in the Car: Evaluating Multimodal Usability of a Satellite Navigation System....Pages 1-14
Comparing Mixed Interactive Systems for Navigating 3D Environments in Museums....Pages 15-28
An Attentive Groupware Device to Mitigate Information Overload....Pages 29-42
Multi-fidelity User Interface Specifications....Pages 43-57
HOPS: A Prototypical Specification Tool for Interactive Systems....Pages 58-71
Systematic Analysis of Control Panel Interfaces Using Formal Tools....Pages 72-85
Investigating System Navigation Ergonomics through Model Verification....Pages 86-91
Tool Support for Representing Task Models, Dialog Models and User-Interface Specifications....Pages 92-95
Towards a Library of Workflow User Interface Patterns....Pages 96-101
Specification and Verification of Multi-agent Systems Interaction Protocols Using a Combination of AUML and Event B....Pages 102-107
Pattern Languages as Tool for Discount Usability Engineering....Pages 108-120
Cascading Dialog Modeling with UsiXML....Pages 121-135
Designing Graphical Elements for Cognitively Demanding Activities: An Account on Fine-Tuning for Colors....Pages 136-148
Lightweight Coding of Structurally Varying Dialogs....Pages 149-154
ReWiRe: Designing Reactive Systems for Pervasive Environments....Pages 155-160
Toward Multi-disciplinary Model-Based (Re)Design of Sustainable User Interfaces....Pages 161-166
A Model-Based Approach to Supporting Configuration in Ubiquitous Systems....Pages 167-180
Exploiting Web Services and Model-Based User Interfaces for Multi-device Access to Home Applications....Pages 181-193
Resources for Situated Actions....Pages 194-207
An Architecture and a Formal Description Technique for the Design and Implementation of Reconfigurable User Interfaces....Pages 208-224
COMET(s), A Software Architecture Style and an Interactors Toolkit for Plastic User Interfaces....Pages 225-237
Executable Models for Human-Computer Interaction....Pages 238-251
A Middleware for Seamless Use of Multiple Displays....Pages 252-266
Graphic Rendering Considered as a Compilation Chain....Pages 267-280
Towards Specifying Multimodal Collaborative User Interfaces: A Comparison of Collaboration Notations....Pages 281-286
Towards Characterizing Visualizations....Pages 287-293
Towards Usability Evaluation for Smart Appliance Ensembles....Pages 294-299
Task Model Refinement with Meta Operators....Pages 300-305
Utilizing Dynamic Executable Models for User Interface Development....Pages 306-309
Back Matter....Pages -
توضیحاتی در مورد کتاب به زبان اصلی :
This book constitutes the refereed proceedings of the 15th International Workshop on Design, Specification, and Verification of Interactive Systems, DSV-IS 2008, held in Kingston, Canada, in July 2008.
The 21 revised full papers and 10 late breaking and experience report papers presented were carefully reviewed and selected from numerous submissions for inclusion in the book. The papers cover user interface evaluation and specification, with particular emphasis on the use of task models to provide high-level approaches for capturing the intended functionality of a user interface; examining techniques for modeling user interfaces, particularly for mobile and ubiquitous applications; advanced implementation techniques for interactive systems; and architecture of interactive systems with special focus on evaluation and specification.
پست ها تصادفی