دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Interactive Systems:Design, Specification, and Verification: 9th International Workshop, DSV-IS 2002 Rostock, Germany, June 12–14, 2002 Revised Papers
دانلود کتاب سیستم های تعاملی: طراحی ، مشخصات و تأیید صحت: نهمین کارگاه بین المللی ، DSV-IS 2002 روستوک ، آلمان ، 12 تا 14 ژوئن ، مقالات تجدید نظر شده 2002
مشخصات کتاب
Interactive Systems:Design, Specification, and Verification: 9th International Workshop, DSV-IS 2002 Rostock, Germany, June 12–14, 2002 Revised Papers
ویرایش: 1 نویسندگان: Paul Curzon, Ann Blandford (auth.), Peter Forbrig, Quentin Limbourg, Jean Vanderdonckt, Bodo Urban (eds.) سری: Lecture Notes in Computer Science 2545 ISBN (شابک) : 9783540002666, 9783540362357 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2002 تعداد صفحات: 277 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 5 مگابایت
قیمت کتاب (تومان) : 52,000
کلمات کلیدی مربوط به کتاب سیستم های تعاملی: طراحی ، مشخصات و تأیید صحت: نهمین کارگاه بین المللی ، DSV-IS 2002 روستوک ، آلمان ، 12 تا 14 ژوئن ، مقالات تجدید نظر شده 2002: علوم کامپیوتر، عمومی، مهندسی نرم افزار، منطق و معانی برنامه ها، ذخیره سازی و بازیابی اطلاعات، رابط های کاربری و تعامل انسان با کامپیوتر
در صورت تبدیل فایل کتاب Interactive Systems:Design, Specification, and Verification: 9th International Workshop, DSV-IS 2002 Rostock, Germany, June 12–14, 2002 Revised Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب سیستم های تعاملی: طراحی ، مشخصات و تأیید صحت: نهمین کارگاه بین المللی ، DSV-IS 2002 روستوک ، آلمان ، 12 تا 14 ژوئن ، مقالات تجدید نظر شده 2002 نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب سیستم های تعاملی: طراحی ، مشخصات و تأیید صحت: نهمین کارگاه بین المللی ، DSV-IS 2002 روستوک ، آلمان ، 12 تا 14 ژوئن ، مقالات تجدید نظر شده 2002
این کتاب مجموعه مقالات پس از داوری کامل نهمین کارگاه بین المللی طراحی، مشخصات و تأیید سیستم های تعاملی، DSV-IS 2002 است که در روستوک، آلمان در ژوئن 2002 برگزار شد.
19 مقاله کامل اصلاح شده ارائه شده از طریق دو دور بررسی، انتخاب و بهبود گذرانده اند. تمام جنبه‌های طراحی، مشخصات، و تأیید سیستم‌های تعاملی از نقطه‌نظر تعامل انسان و رایانه بررسی می‌شوند. تأکید ویژه بر مدل‌ها و نقش آنها در پشتیبانی از طراحی و توسعه سیستم‌های تعاملی و رابط‌های کاربری برای محاسبات فراگیر داده شده است.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the thoroughly refereed post-proceedings of the 9th International Workshop on the Design, Specification, and Verification of Interactive Systems, DSV-IS 2002, held in Rostock, Germany in June 2002.
The 19 revised full papers presented have gone through two rounds of reviewing, selection, and improvement. All aspects of the design, specification, and verification of interactive systems from the human-computer interaction point of view are addressed. Particular emphasis is given to models and their role in supporting the design and development of interactive systems and user interfaces for ubiquitous computing.
فهرست مطالب
From a Formal User Model to Design Rules....Pages 1-15
A Coloured Petri Net Formalisation for a UML-Based Notation Applied to Cooperative System Modelling....Pages 16-28
Adaptive User Interface for Mobile Devices....Pages 29-43
Migratable User Interface Descriptions in Component-Based Development....Pages 44-58
Task Modelling in Multiple Contexts of Use....Pages 59-73
Notational Support for the Design of Augmented Reality Systems....Pages 74-88
Tool-Supported Interpreter-Based User Interface Architecture for Ubiquitous Computing....Pages 89-103
Combining Compound Conceptual User Interface Components with Modelling Patterns — A Promising Direction for Model-Based Cross-Platform User Interface Development....Pages 104-117
Multiple User Interfaces: Towards a Task-Driven and Patterns-Oriented Design Model....Pages 118-132
Foundations of Cognitive Support: Toward Abstract Patterns of Usefulness....Pages 133-147
User Interface Design Patterns for Interactive Modeling in Demography and Biostatistics....Pages 148-158
User Interface Conceptual Patterns....Pages 159-172
Monitoring Human Faces from Multi-view Image Sequences....Pages 173-184
Improving Mouse Navigation — A Walk through the “Hilly Screen Landscape”....Pages 185-195
Designing User Interaction for Face Tracking Applications....Pages 196-207
Performance Evaluation as a Tool for Quantitative Assessment of Complexity of Interactive Systems....Pages 208-222
Blending Descriptive and Numeric Analysis in Human Reliability Design....Pages 223-237
Towards a Ubiquitous Semantics of Interaction: Phenomenology, Scenarios, and Traces....Pages 238-252
Architecture Considerations for Interoperable Multi-modal Assistant Systems....Pages 253-267
نظرات کاربران
کتاب های تصادفی
دانلود کتاب American Spyplanes
دانلود کتاب Legion of the Damned
