دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Design, Specification and Verification of Interactive Systems ’96: Proceedings of the Eurographics Workshop in Namur, Belgium, June 5–7, 1996
دانلود کتاب طراحی، مشخصات و تأیید سیستم های تعاملی 96: مجموعه مقالات کارگاه یوروگرافیک در نامور، بلژیک، 5 تا 7 ژوئن 1996
مشخصات کتاب
Design, Specification and Verification of Interactive Systems ’96: Proceedings of the Eurographics Workshop in Namur, Belgium, June 5–7, 1996
ویرایش: 1 نویسندگان: Pedro Szekely (auth.), Prof. Francois Bodart, Jean Vanderdonckt M.Sc. (eds.) سری: Eurographics ISBN (شابک) : 9783211829004, 9783709174913 ناشر: Springer-Verlag Wien سال نشر: 1996 تعداد صفحات: 397 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 9 مگابایت
قیمت کتاب (تومان) : 50,000
کلمات کلیدی مربوط به کتاب طراحی، مشخصات و تأیید سیستم های تعاملی 96: مجموعه مقالات کارگاه یوروگرافیک در نامور، بلژیک، 5 تا 7 ژوئن 1996: رابط های کاربر و تعامل انسان با کامپیوتر، مدل ها و اصول
در صورت تبدیل فایل کتاب Design, Specification and Verification of Interactive Systems ’96: Proceedings of the Eurographics Workshop in Namur, Belgium, June 5–7, 1996 به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب طراحی، مشخصات و تأیید سیستم های تعاملی 96: مجموعه مقالات کارگاه یوروگرافیک در نامور، بلژیک، 5 تا 7 ژوئن 1996 نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب طراحی، مشخصات و تأیید سیستم های تعاملی 96: مجموعه مقالات کارگاه یوروگرافیک در نامور، بلژیک، 5 تا 7 ژوئن 1996
ساده‌تر کردن سیستم‌ها برای استفاده مستلزم پیچیدگی روزافزون در مدیریت ارتباطات بین کاربران و برنامه‌ها است. در واقع بخش فزاینده ای از کد برنامه به بخش رابط کاربری اختصاص داده می شود. برای مدیریت این پیچیدگی، داشتن ابزارها، نمادها و متدولوژی هایی که از کار طراح در طول فرآیند پالایش از مشخصات تا اجرا پشتیبانی می کنند، مهم است. مقالات اصلاح شده منتخب از کارگاه یوروگرافیک در نامور، به بررسی وضعیت هنر در این زمینه، مقایسه رویکردهای مختلف موجود در این زمینه به منظور شناسایی الزامات اصلی و مناسب‌ترین نشانه‌ها، و نشان‌دهنده نتایج معنی‌داری است که می‌توان از آنها به دست آورد. آنها.
توضیحاتی درمورد کتاب به خارجی
Making systems easier to use implies an ever increasing complexity in managing communication between users and applications. Indeed an increasing part of the application code is devoted to the user interface portion. In order to manage this complexity, it is important to have tools, notations, and methodologies which support the designer’s work during the refinement process from specification to implementation. Selected revised papers from the Eurographics workshop in Namur review the state of the art in this area, comparing the different existing approaches to this field in order to identify the principle requirements and the most suitable notations, and indicate the meaningful results which can be obtained from them.
فهرست مطالب
Front Matter....Pages I-XI
Retrospective and Challenges for Model-Based Interface Development....Pages 1-27
Human Factors in Aeronautics....Pages 28-45
Abstract Interpretation and Application to Interactive System Verification....Pages 46-72
Device Models....Pages 73-91
A Formal Description of Low Level Interaction and its Application to Multimodal Interactive Systems....Pages 92-104
Deriving a formal model of an interactive system from its UIL description in order to verify and to test its behaviour....Pages 105-122
Prototyping Device Interfaces with DSN/2....Pages 123-140
Toward more understandable user interface specifications....Pages 141-161
Towards an integrated proposal for Interactive Systems design based on TLIM and ICO....Pages 162-187
The Evaluation Of User Interface Notations....Pages 188-206
Supporting Error-Driven Design....Pages 207-228
Risk Analysis, Impact and Interaction Modelling....Pages 229-247
Design assistance for user-adapted interaction....Pages 248-271
GRALPLA: An Algebraic Specification Language for Interactive Graphic Systems....Pages 272-291
Fusion Engines and Melting Pots....Pages 292-311
Monolingual, Articulated Modeling of Users, Devices, and Interfaces....Pages 312-329
Evaluating the Interfaces of Three Theorem Proving Assistants....Pages 330-346
Validating Properties of Component-based Graphical User Interfaces....Pages 347-365
Specifying and Reasoning About CSCW....Pages 366-383
نظرات کاربران
کتاب های تصادفی
