دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب 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 مقالات اصلاح شده
مشخصات کتاب
Interactive Systems. Design, Specification, and Verification: 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008 Revised Papers
ویرایش: 1 نویسندگان: Ann Blandford, Paul Curzon, Joanne Hyde (auth.), T. C. Nicholas Graham, Philippe Palanque (eds.) سری: Lecture Notes in Computer Science 5136 Programming and Software Engineering ISBN (شابک) : 9783540705680, 9783540705697 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2008 تعداد صفحات: 318 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 22 مگابایت
قیمت کتاب (تومان) : 32,000
در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد
کلمات کلیدی مربوط به کتاب سیستم های تعاملی طراحی ، مشخصات و تأیید: پانزدهمین کارگاه بین المللی ، 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 به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب سیستم های تعاملی طراحی ، مشخصات و تأیید: پانزدهمین کارگاه بین المللی ، DSV-IS 2008 کینگستون ، کانادا ، 16-18 ژوئیه ، 2008 مقالات اصلاح شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب سیستم های تعاملی طراحی ، مشخصات و تأیید: پانزدهمین کارگاه بین المللی ، DSV-IS 2008 کینگستون ، کانادا ، 16-18 ژوئیه ، 2008 مقالات اصلاح شده
این کتاب مجموعه مقالات داوری پانزدهمین کارگاه بین‌المللی طراحی، مشخصات و تأیید سیستم‌های تعاملی، DSV-IS 2008، در کینگستون، کانادا، در ژوئیه 2008 است.
21 مقاله کامل اصلاح شده و 10 مقاله گزارش تجربی و تاخیری ارائه شده با دقت بررسی و از بین ارسال‌های متعدد برای گنجاندن در کتاب انتخاب شدند. این مقالات ارزیابی و مشخصات رابط کاربری را با تاکید ویژه بر استفاده از مدل‌های وظیفه برای ارائه رویکردهای سطح بالا برای ثبت عملکرد مورد نظر یک رابط کاربری پوشش می‌دهند. بررسی تکنیک‌های مدل‌سازی رابط‌های کاربر، به‌ویژه برای برنامه‌های کاربردی تلفن همراه و همه‌جا. تکنیک های پیاده سازی پیشرفته برای سیستم های تعاملی؛ و معماری سیستم های تعاملی با تمرکز ویژه بر ارزیابی و مشخصات.
توضیحاتی درمورد کتاب به خارجی
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.
فهرست مطالب
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 -
