ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Interactive Systems. Design, Specification, and Verification: 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006. Revised Papers

دانلود کتاب سیستم های تعاملی طراحی ، مشخصات و تأیید: سیزدهمین کارگاه بین المللی ، DSVIS 2006 ، دوبلین ، ایرلند ، 26-28 ژوئیه ، 2006. مقالات اصلاح شده

Interactive Systems. Design, Specification, and Verification: 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006. Revised Papers

مشخصات کتاب

Interactive Systems. Design, Specification, and Verification: 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006. Revised Papers

دسته بندی: کامپیوتر
ویرایش: 1 
نویسندگان: , ,   
سری: Lecture Notes in Computer Science 4323 : Programming and Software Engineering 
ISBN (شابک) : 3540695532, 9783540695530 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 2007 
تعداد صفحات: 279 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 6 مگابایت 

قیمت کتاب (تومان) : 44,000



کلمات کلیدی مربوط به کتاب سیستم های تعاملی طراحی ، مشخصات و تأیید: سیزدهمین کارگاه بین المللی ، DSVIS 2006 ، دوبلین ، ایرلند ، 26-28 ژوئیه ، 2006. مقالات اصلاح شده: رابط های کاربر و تعامل انسان با کامپیوتر، سیستم های اطلاعات چند رسانه ای، ذخیره سازی و بازیابی اطلاعات، مهندسی نرم افزار، منطق و معانی برنامه ها، شبکه های ارتباطی کامپیوتری



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 13


در صورت تبدیل فایل کتاب Interactive Systems. Design, Specification, and Verification: 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006. Revised Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب سیستم های تعاملی طراحی ، مشخصات و تأیید: سیزدهمین کارگاه بین المللی ، DSVIS 2006 ، دوبلین ، ایرلند ، 26-28 ژوئیه ، 2006. مقالات اصلاح شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب سیستم های تعاملی طراحی ، مشخصات و تأیید: سیزدهمین کارگاه بین المللی ، DSVIS 2006 ، دوبلین ، ایرلند ، 26-28 ژوئیه ، 2006. مقالات اصلاح شده



این کتاب مجموعه مقالات پس از داوری کامل سیزدهمین کارگاه بین المللی طراحی، مشخصات و تأیید سیستم های تعاملی، DSVIS 2006 است که در ژوئیه 2006 در دوبلین، ایرلند برگزار شد.

19 بازبینی شده مقالات کامل ارائه شده همراه با یک مقاله کلیدی و دو گزارش گروه کاری به دقت بررسی و از بین 57 مورد ارسالی طی دو دور بررسی و بهبود انتخاب شدند. این مقالات در بخش‌های موضوعی در مورد تحقیقات HCI، سیستم‌های حیاتی، توسعه مبتنی بر مدل، جنبه‌های شناختی تعامل، استفاده از مدل‌ها، لمسی و چندوجهی، نمونه‌سازی و ارزیابی، پشتیبانی از توسعه رابط کاربری، و بحث‌های گروهی سازمان‌دهی شده‌اند.


توضیحاتی درمورد کتاب به خارجی

This book constitutes the thoroughly refereed post-proceedings of the 13th International Workshop on Design, Specification, and Verification of Interactive Systems, DSVIS 2006, held in Dublin, Ireland in July 2006.

The 19 revised full papers presented together with one keynote paper, and two working group reports were carefully reviewed and selected from 57 submissions during two rounds of reviewing and improvement. The papers are organized in topical sections on HCI research, critical systems, model based development, cognitive aspects of interaction, use of models, haptics and multimodality, prototyping and evaluation, supporting user interface development, and group discussions.



فهرست مطالب

Front Matter....Pages -
How Do Developers Meet Users? – Attitudes and Processes in Software Development....Pages 1-10
Validity and Cross-Validity in HCI Publications....Pages 11-24
Model-Based Engineering of Widgets, User Applications and Servers Compliant with ARINC 661 Specification....Pages 25-38
Usability Requirements for Improving the Infection Module of a Hospital Intensive Care Unit Information System....Pages 39-51
Interaction Walkthrough: Evaluation of Safety Critical Interactive Systems....Pages 52-66
Collaborative Social Structures and Task Modelling Integration....Pages 67-80
Towards Model-Driven Development of Staged Participatory Multimedia Events....Pages 81-94
Integrating Support for Usability Evaluation into High Level Interaction Descriptions with NiMMiT....Pages 95-108
An Investigation into the Validation of Formalised Cognitive Dimensions....Pages 109-122
Formal Modelling of Cognitive Interpretation....Pages 123-136
Combining Formal Methods and Functional Strategies Regarding the Reverse Engineering of Interactive Applications....Pages 137-150
An Ontological Approach to Visualization Resource Management....Pages 151-156
Visual Design of User Interfaces by (De)composition....Pages 157-170
Exploring the Specification of Haptic Interaction....Pages 171-184
Analysis of Pointing Tasks on a White Board....Pages 185-198
Mixed-Fidelity Prototyping of User Interfaces....Pages 199-212
A Hybrid Approach for Modelling Early Prototype Evaluation Under User-Centred Design Through Association Rules....Pages 213-219
Rapid User-Centred Evaluation for Context-Aware Systems....Pages 220-233
Using a Patterns-Based Modelling Language and a Model-Based Adaptation Architecture to Facilitate Adaptive User Interfaces....Pages 234-247
Toward Quality-Driven Development of 3D Computer Games....Pages 248-261
Processes: Working Group Report....Pages 262-264
Usability and Computer Games: Working Group Report....Pages 265-268
Back Matter....Pages -




نظرات کاربران