دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Design, Specification and Verification of Interactive Systems ’97: Proceedings of the Eurographics Workshop in Granada, Spain, June 4–6, 1997
دانلود کتاب طراحی، مشخصات و تأیید سیستم های تعاملی 97: مجموعه مقالات کارگاه یوروگرافیک در گرانادا، اسپانیا، 4 تا 6 ژوئن 1997
مشخصات کتاب
Design, Specification and Verification of Interactive Systems ’97: Proceedings of the Eurographics Workshop in Granada, Spain, June 4–6, 1997
ویرایش: 1 نویسندگان: Anthony Hall (auth.), Prof. Dr. Michael Douglas Harrison, Dr. Juan Carlos Torres (eds.) سری: Eurographics ISBN (شابک) : 9783211830550, 9783709168783 ناشر: Springer-Verlag Wien سال نشر: 1997 تعداد صفحات: 326 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 14 مگابایت
قیمت کتاب (تومان) : 42,000
کلمات کلیدی مربوط به کتاب طراحی، مشخصات و تأیید سیستم های تعاملی 97: مجموعه مقالات کارگاه یوروگرافیک در گرانادا، اسپانیا، 4 تا 6 ژوئن 1997: رابط های کاربر و تعامل انسان با کامپیوتر، مدل ها و اصول
در صورت تبدیل فایل کتاب Design, Specification and Verification of Interactive Systems ’97: Proceedings of the Eurographics Workshop in Granada, Spain, June 4–6, 1997 به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب طراحی، مشخصات و تأیید سیستم های تعاملی 97: مجموعه مقالات کارگاه یوروگرافیک در گرانادا، اسپانیا، 4 تا 6 ژوئن 1997 نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب طراحی، مشخصات و تأیید سیستم های تعاملی 97: مجموعه مقالات کارگاه یوروگرافیک در گرانادا، اسپانیا، 4 تا 6 ژوئن 1997
تشخیص روزافزون نقش رابط انسان-سیستم منجر به توسعه‌ها و سبک‌های جدید مشخصات می‌شود. تکنیک هایی در حال توسعه هستند که بیان الزامات کاربر محور و اصلاح و بررسی مشخصات سیستم های تعاملی را تسهیل می کنند. این کتاب منعکس کننده وضعیت هنر در این زمینه مهم است و همچنین حاوی خلاصه ای از بحث های گروه کاری در مورد چگونگی استفاده از تکنیک های مختلف ارائه شده در یک مطالعه موردی رایج است.
توضیحاتی درمورد کتاب به خارجی
An increasing recognition of the role of the human-system interface is leading to new extensions and styles of specification. Techniques are being developed that facilitate the expression of user-oriented requirements and the refinement and checking of specifications of interactive systems. This book reflects the state of the art in this important area and also contains a summary of working group discussions about how the various techniques represented might be applied to a common case study.
فهرست مطالب
Front Matter....Pages I-VIII
Do interactive systems need specifications?....Pages 1-12
PAC-ing the Architecture of Your User Interface....Pages 13-27
DMVIS: Design, Modelling and Validation of Interactive Systems....Pages 29-44
Users as rational interacting agents: formalising assumptions about cognition and interaction....Pages 45-60
Establishing a link between usability and utility: validation of task-based dialogue using a semantic prototype....Pages 61-76
Evaluating Narrative in Multimedia....Pages 77-92
Interactors and Haggis: Executable specifications for interactive systems....Pages 93-108
Formally Verifying Interactive Systems: A Review....Pages 109-124
Investigating the Behaviour of PREMO Synchronizable Objects....Pages 125-141
Formal Transducers: Models of Devices and Building Bricks for the Design of Highly Interactive Systems....Pages 143-159
From text to Petri Nets: the difficulties of describing accident scenarios formally....Pages 161-175
Unifying Toolkit Programming Layers: a Multi-purpose Toolkit Integration Module....Pages 177-192
Editing MAD* task descriptions for specifying user interfaces, at both semantic and presentation levels....Pages 193-208
Formal aspects of task based design....Pages 209-224
Reusable Structures in Task Models....Pages 225-239
The Interaction Specification Workspace: Specifying and Designing the Interaction Issues of Virtual Reality Training Environments From Within....Pages 241-256
The Notion of Trajectory in Graphical User Interfaces....Pages 257-272
A Representational Approach to the Specification of Presentations....Pages 273-290
On biasing behaviour to the optimal....Pages 291-305
Modelling in Action....Pages 307-320
Back Matter....Pages 321-327
