ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Interactive Systems. Design, Specification, and Verification: 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005. Revised Papers

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

Interactive Systems. Design, Specification, and Verification: 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005. Revised Papers

مشخصات کتاب

Interactive Systems. Design, Specification, and Verification: 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005. Revised Papers

دسته بندی: کنفرانس ها و همایش های بین المللی
ویرایش: 1 
نویسندگان: , , , ,   
سری: Lecture Notes in Computer Science 3941 : Programming and Software Engineering 
ISBN (شابک) : 3540341455, 9783540341451 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 2006 
تعداد صفحات: 276 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 7 مگابایت

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



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



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

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


در صورت تبدیل فایل کتاب Interactive Systems. Design, Specification, and Verification: 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005. Revised Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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


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



این کتاب مجموعه مقالات پس از داوری کامل دوازدهمین کارگاه بین‌المللی طراحی، مشخصات و تأیید سیستم‌های تعاملی، DSV-IS 2005 است که در ژوئیه 2005 در نیوکاسل آپون تاین، بریتانیا برگزار شد.

< P>

20 مقاله کامل اصلاح شده، 1 مقاله کلیدی، و 4 خلاصه از بحث های گروهی از طریق دو دور بررسی، انتخاب و بهبود گذرانده اند. مقالات در بخش‌های موضوعی درباره تیم‌ها و گروه‌ها، طرح‌ها و الگوها، به دور از دسک‌تاپ، مهاجرت و تحرک، ابزارهای تحلیل، فرآیندها و ابزارهای طراحی مبتنی بر مدل، و بحث‌های گروهی سازمان‌دهی شده‌اند.


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

This book constitutes the thoroughly refereed post-proceedings of the 12th International Workshop on Design, Specification, and Verification of Interactive Systems, DSV-IS 2005, held in Newcastle upon Tyne, UK, in July 2005.

The 20 revised full papers, 1 keynote paper, and 4 summaries of group discussions have passed through two rounds of reviewing, selection, and improvement. The papers are organized in topical sections on teams and groups, sketches and templates, away from the desktop, migration and mobility, analysis tools, model-based design processes and tools, and group discussions.



فهرست مطالب

Front Matter....Pages -
User Experience and the Idea of Design in HCI....Pages 1-14
Formalising Performative Interaction....Pages 15-25
DiCoT: A Methodology for Applying Distributed Cognition to the Design of Teamworking Systems....Pages 26-38
Towards Model Checking Stochastic Aspects of the thinkteam User Interface....Pages 39-50
Incident and Accident Investigation Techniques to Inform Model-Based Design of Safety-Critical Interactive Systems....Pages 51-66
Natural Modelling of Interactive Applications....Pages 67-77
Task Model Simulation Using Interaction Templates....Pages 78-89
Investigating Annotation in Electronic Paper-Prototypes....Pages 90-101
Test of the ICARE Platform Fusion Mechanism....Pages 102-113
A Method for the Verification of Haptic Algorithms....Pages 114-125
A Specification Language and System for the Three-Dimensional Visualisation of Knowledge Bases....Pages 126-136
A Calculus for the Refinement and Evolution of Multi-user Mobile Applications....Pages 137-148
A Taxonomy for Migratory User Interfaces....Pages 149-160
Solving the Mapping Problem in User Interface Design by Seamless Integration in I dealXML ....Pages 161-172
Concept Analysis as a Formal Method for Menu Design....Pages 173-187
Supporting Resource-Based Analysis of Task Information Needs....Pages 188-200
Automatic Critiques of Interface Modes....Pages 201-212
Quantitative Measurement of Quality Attribute Preferences Using Conjoint Analysis....Pages 213-224
A Model-Based Design Process for Interactive Virtual Environments....Pages 225-236
Mapping ConcurTaskTrees into UML 2.0....Pages 237-248
Goal-Oriented Design of Domain Control Panels....Pages 249-260
Future Challenges of Model-Based Design....Pages 261-261
Supporting Values Other Than Usability and Performance Within the Design Process....Pages 262-263
Ambience and Mobility....Pages 264-264
Outdated Ideas of the Design Process and the Future of Formal Models, Methods and Notations....Pages 265-265
Back Matter....Pages -




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

تمامی حقوق معنوی و مادی وبسایت متعلق به اینترنشنال لایبرری می باشد
نماد اعتماد الکترونیکی