دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب The Handbook of Formal Methods in Human-Computer Interaction
دانلود کتاب کتاب راهنمای روش های رسمی در تعامل انسان و کامپیوتر
مشخصات کتاب
The Handbook of Formal Methods in Human-Computer Interaction
ویرایش: 1 نویسندگان: Benjamin Weyers, Judy Bowen, Alan Dix, Philippe Palanque (eds.) سری: Human–Computer Interaction Series ISBN (شابک) : 9783319518381, 9783319518374 ناشر: Springer International Publishing سال نشر: 2017 تعداد صفحات: 573 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 19 مگابایت
قیمت کتاب (تومان) : 34,000
در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد
کلمات کلیدی مربوط به کتاب کتاب راهنمای روش های رسمی در تعامل انسان و کامپیوتر: رابط های کاربر و تعامل انسان با کامپیوتر، مهندسی نرم افزار، منطق ریاضی و زبان های رسمی
در صورت تبدیل فایل کتاب The Handbook of Formal Methods in Human-Computer Interaction به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب کتاب راهنمای روش های رسمی در تعامل انسان و کامپیوتر نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب کتاب راهنمای روش های رسمی در تعامل انسان و کامپیوتر
این کتاب مجموعه‌ای جامع از روش‌ها و رویکردها را برای استفاده از روش‌های رسمی در تحقیقات تعامل انسان و رایانه (HCI) ارائه می‌کند، که استفاده از آن‌ها پیش نیازی برای قابلیت استفاده و تجربه کاربر (UX) هنگام مهندسی سیستم‌های تعاملی است.
محققان پیشرو جهان روش‌ها، ابزارها و تکنیک‌هایی را برای طراحی و توسعه سیستم‌های تعاملی قابل اعتماد ارائه می‌کنند، و بحث گسترده‌ای را در مورد آخرین وضعیت فعلی با مطالعات موردی ارائه می‌دهند که سناریوها و موضوعات مرتبط در HCI را برجسته می‌کنند و همچنین ارائه می‌کنند. روندها و شکاف های فعلی در تحقیق و فرصت ها و پیشرفت های آتی در این زمینه نوظهور.
کتابچه راهنمای روش های رسمی در تعامل انسان و رایانه برای محققان و مهندسین HCI سیستم های تعاملی در نظر گرفته شده است. علاقه مند به تسهیل روش های رسمی در تحقیقات یا کارهای عملی خود هستند.
توضیحاتی درمورد کتاب به خارجی
This book provides a comprehensive collection of methods and approaches for using formal methods within Human-Computer Interaction (HCI) research, the use of which is a prerequisite for usability and user-experience (UX) when engineering interactive systems.
World-leading researchers present methods, tools and techniques to design and develop reliable interactive systems, offering an extensive discussion of the current state-of-the-art with case studies which highlight relevant scenarios and topics in HCI as well as presenting current trends and gaps in research and future opportunities and developments within this emerging field.
The Handbook of Formal Methods in Human-Computer Interaction is intended for HCI researchers and engineers of interactive systems interested in facilitating formal methods into their research or practical work.
فهرست مطالب
Content: Foreword.- Part I: Introduction.- State of the Art in Formal Methods in HCI.- Topics of formal methods in HCI.- Trends and Gaps.- Case Studies.- Part II: Modeling, Execution and Simulation.- Visual and Formal Modeling of Modularized and Executable User Interface Models.- Combining Models for Interactive System Modelling.- Activity Modelling for Low-Intention Interaction.- Modelling the User Physigrams - Modeling Physical Device Characteristics Interaction.- Formal Description of Adaptive Interactive Systems based on Executable User Interface Models.- Part II:Analysis, Validation and Verification.- Learning Safe Interactions and Full-Control.- Reasoning About Interactive Systems in Dynamic Situations of Use Enhanced Operator Function Model (EOFM): A Task Analytic Modeling Formalism for Including Human.- Behavior in the Verification of Complex Systems.- The Specification and Analysis of Use Properties of a Nuclear.- Control System.- Formal Analysis of Multiple Coordinated HMI Systems.- Part IV: Future Opportunities and Developments.- Domain-Specific Modelling for Human-Computer Interaction.- Exploiting Action Theory as a Framework for Analysis and Design of Formal Methods Approaches: Application to the CIRCUS Integrated Development Environment .- A Public Tool Suite for Modelling Interactive Applications.- Formal Modeling of App-Ensembles.- Dealing with Faults during Operations: Beyond Classical Use of Formal Methods.
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Home remodeling : planning, design, construction
دانلود کتاب Phytochemicals in health and disease
دانلود کتاب The Common-Sense Philosophy of Religion of Bishop Edward Stillingfleet 1635–1699
