توضیحات
1.6.4 Markopoulos et al. (United Kingdom 1995-1998)1.6.4.1 Modelling; 1.6.4.2 Verification; 1.6.5 Duke and Harrison et al. (United Kingdom 1993-1995); 1.6.5.1 Modelling; 1.6.5.2 Verification; 1.6.6 Campos et al. (Portugal 1997-2015); 1.6.6.1 Modelling; 1.6.6.2 Verification; 1.6.7 d’Ausbourg et al. (France 1996-2002); 1.6.7.1 Modelling; 1.6.7.2 Verification; 1.6.8 Bumbulis et al. (Canada 1995-1996); 1.6.8.1 Modelling; 1.6.8.2 Verification; 1.6.9 Oliveira et al. (France 2012-2015); 1.6.9.1 Modelling; 1.6.9.2 Verification; 1.6.10 Knight et al. (USA 1992-2010); 1.6.10.1 Modelling.;1.6.17.1 Modelling1.6.17.2 Model Reconfiguration and Formal Rewriting; 1.6.18 Combfis et al. (Belgium 2009-2013); 1.6.18.1 Modelling; 1.6.18.2 Verification; 1.6.19 Synthesis; 1.6.20 Summary; References; 2 Topics of Formal Methods in HCI; 2.1 Introduction; 2.2 Describing the Human User of Interactive Systems; 2.3 Formal Methods for Specific Types of Interactive Systems; 2.4 Descriptions of the Modelling Process and Supporting Tools; 2.5 Summary; References; 3 Trends and Gaps; Abstract; 3.1 Introduction; 3.2 HCI Trends; 3.2.1 Changing User Interaction; 3.2.2 Changing Technology.;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 a 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.;3.2.3 Changing Design and Development3.3 Formalising Interaction: What and How; 3.3.1 What-Actors and Entities; 3.3.2 What-Levels of Abstraction; 3.3.3 Who and When (and Why?); 3.3.4 How; 3.4 Summary; References; 4 Case Studies; Abstract; 4.1 Introduction; 4.2 Case Study 1-Control of a Nuclear Power Plant; 4.2.1 Formalization of the Simplified BWR Design; 4.2.2 Standard Operating Procedures; 4.2.3 Automation; 4.2.4 Connection with Formal Methods; 4.3 Case Study 2-Arrival Manager Within an Air Traffic Control Workstation; 4.3.1 Air Traffic Controller Tasks.;Preface; References; Contents; Contributors; Introduction; 1 State of the Art on Formal Methods for Interactive Systems; Abstract; 1.1 Introduction; 1.2 Modelling and Formal Modelling; 1.3 Verification and Validation; 1.4 Criteria to Describe and Analyse the State of the Art; 1.5 Modelling and Verification; 1.6 Succinct Presentation of the Approaches; 1.6.1 Abowd et al. (USA 1991-1995); 1.6.1.1 Modelling; 1.6.1.2 Verification; 1.6.2 Dix et al. (United Kingdom 1985-1995); 1.6.2.1 Modelling; 1.6.2.2 Verification; 1.6.3 Patern et al. (Italy 1990-2003); 1.6.3.1 Modelling; 1.6.3.2 Verification.;1.6.10.2 Verification1.6.11 Miller et al. (USA 1995-2013); 1.6.11.1 Modelling; 1.6.11.2 Verification; 1.6.12 Loer and Harrison et al. (Germany 2000-2006); 1.6.12.1 Modelling; 1.6.12.2 Verification; 1.6.13 Thimbleby et al. (United Kingdom 1987-2015); 1.6.13.1 Modelling; 1.6.13.2 Verification; 1.6.14 Palanque et al. (France 1990-2015); 1.6.14.1 Modelling; 1.6.14.2 Verification; 1.6.15 At-Ameur et al. (France 1998-2014); 1.6.15.1 Modelling; 1.6.15.2 Verification; 1.6.16 Bowen and Reeves (New Zealand 2005-2015); 1.6.16.1 Modelling; 1.6.16.2 Verification; 1.6.17 Weyers et al. (Germany 2009-2015).
————————————————————–
ترجمه ماشینی :
1.6.4 مارکوپولوس و همکاران. (بریتانیا 1995-1998)1.6.4.1 Modelling; 1.6.4.2 تأیید؛ 1.6.5 دوک و هریسون و همکاران. (بریتانیا 1993-1995)؛ 1.6.5.1 مدل سازی; 1.6.5.2 تأیید؛ 1.6.6 کامپوس و همکاران. (پرتغال 1997-2015); 1.6.6.1 مدل سازی; 1.6.6.2 تأیید؛ 1.6.7 d’Ausbourg et al. (فرانسه 1996-2002)؛ 1.6.7.1 مدل سازی; 1.6.7.2 تأیید؛ 1.6.8 Bumbulis و همکاران. (کانادا 1995-1996)؛ 1.6.8.1 مدل سازی; 1.6.8.2 تأیید؛ 1.6.9 اولیویرا و همکاران. (فرانسه 2012-2015)؛ 1.6.9.1 مدل سازی; 1.6.9.2 تأیید؛ 1.6.10 نایت و همکاران. (ایالات متحده آمریکا 1992-2010)؛ 1.6.10.1 Modelling.;1.6.17.1 Modelling1.6.17.2 پیکربندی مجدد مدل و بازنویسی رسمی; 1.6.18 کامفیس و همکاران. (بلژیک 2009-2013)؛ 1.6.18.1 مدل سازی; 1.6.18.2 تأیید؛ 1.6.19 سنتز; 1.6.20 خلاصه; منابع؛ 2 موضوع روش های رسمی در HCI; 2.1 مقدمه; 2.2 توصیف کاربر انسانی سیستم های تعاملی. 2.3 روش های رسمی برای انواع خاصی از سیستم های تعاملی. 2.4 توضیحات فرآیند مدلسازی و ابزارهای پشتیبانی. 2.5 خلاصه; منابع؛ 3 روندها و شکاف ها. خلاصه؛ 3.1 مقدمه; 3.2 HCI Trends; 3.2.1 تغییر تعامل کاربر. 3.2.2 تغییر فناوری.؛ این کتاب مجموعه ای جامع از روش ها و رویکردها برای استفاده از روش های رسمی در تحقیقات تعامل انسان و رایانه (HCI) ارائه می دهد که استفاده از آنها پیش نیازی برای قابلیت استفاده و تجربه کاربر (UX) در مهندسی تعاملی است. سیستم های. محققان پیشرو جهان روشها، ابزارها و تکنیکهایی را برای طراحی و توسعه سیستمهای تعاملی قابل اعتماد ارائه میکنند، و بحث گستردهای را در مورد آخرین وضعیت فعلی با مطالعات موردی ارائه میکنند که سناریوها و موضوعات مرتبط در HCI و همچنین ارائه روندهای فعلی را برجسته میکنند. و شکاف ها در تحقیق و فرصت ها و پیشرفت های آتی در این زمینه نوظهور. کتاب راهنمای روشهای رسمی در تعامل با کامپیوتر انسانی برای محققان و مهندسین سیستمهای تعاملی HCI که علاقهمند به تسهیل روشهای رسمی در تحقیقات یا کارهای عملی خود هستند، در نظر گرفته شده است.؛ 3.2.3 تغییر طراحی و توسعه. 3.3.1 چه بازیگران و نهادها. 3.3.2 چه سطوحی از انتزاع. 3.3.3 چه کسی و چه زمانی (و چرا؟)؛ 3.3.4 چگونه; 3.4 خلاصه; منابع؛ 4 مطالعات موردی; خلاصه؛ 4.1 مقدمه; 4.2 مطالعه موردی 1-کنترل یک نیروگاه هسته ای; 4.2.1 رسمی کردن طراحی ساده شده BWR. 4.2.2 رویه های عملیاتی استاندارد. 4.2.3 اتوماسیون; 4.2.4 ارتباط با روشهای رسمی. 4.3 مطالعه موردی 2-مدیر ورود در یک ایستگاه کاری کنترل ترافیک هوایی. 4.3.1 وظایف کنترل کننده ترافیک هوایی.؛ پیشگفتار. منابع؛ فهرست؛ مشارکت کنندگان؛ معرفی؛ 1 پیشرفته ترین روش در روش های رسمی برای سیستم های تعاملی. خلاصه؛ 1.1 مقدمه; 1.2 مدل سازی و مدل سازی رسمی; 1.3 تأیید و اعتبار سنجی. 1.4 معیارهایی برای توصیف و تحلیل وضعیت هنر. 1.5 مدل سازی و تایید. 1.6 ارائه مختصر رویکردها. 1.6.1 آبود و همکاران. (ایالات متحده آمریکا 1991-1995)؛ 1.6.1.1 مدل سازی; 1.6.1.2 تأیید؛ 1.6.2 دیکس و همکاران. (بریتانیا 1985-1995)؛ 1.6.2.1 مدل سازی; 1.6.2.2 تأیید؛ 1.6.3 Patern et al. (ایتالیا 1990-2003)؛ 1.6.3.1 مدل سازی; 1.6.3.2 تأیید.؛ 1.6.10.2 تأیید 1.6.11 Miller et al. (ایالات متحده آمریکا 1995-2013)؛ 1.6.11.1 مدل سازی; 1.6.11.2 تأیید; 1.6.12 Loer and Harrison et al. (آلمان 2000-2006); 1.6.12.1 مدل سازی; 1.6.12.2 تأیید; 1.6.13 تیمبلبی و همکاران. (بریتانیا 1987-2015)؛ 1.6.13.1 مدل سازی; 1.6.13.2 تأیید; 1.6.14 Palanque et al. (فرانسه 1990-2015)؛ 1.6.14.1 مدل سازی; 1.6.14.2 تأیید؛ 1.6.15 At-Ameur و همکاران. (فرانسه 1998-2014)؛ 1.6.15.1 مدل سازی; 1.6.15.2 تأیید؛ 1.6.16 بوون و ریوز (نیوزیلند 2005-2015)؛ 1.6.16.1 مدل سازی; 1.6.16.2 تأیید؛ 1.6.17 وایرز و همکاران. (آلمان 2009-2015).
tag : دانلود کتاب کتاب راهنمای روش های رسمی در تعامل انسان و کامپیوتر , Download کتاب راهنمای روش های رسمی در تعامل انسان و کامپیوتر , دانلود کتاب راهنمای روش های رسمی در تعامل انسان و کامپیوتر , Download The Handbook of Formal Methods in Human-Computer Interaction Book , کتاب راهنمای روش های رسمی در تعامل انسان و کامپیوتر دانلود , buy کتاب راهنمای روش های رسمی در تعامل انسان و کامپیوتر , خرید کتاب کتاب راهنمای روش های رسمی در تعامل انسان و کامپیوتر , دانلود کتاب The Handbook of Formal Methods in Human-Computer Interaction , کتاب The Handbook of Formal Methods in Human-Computer Interaction , دانلود The Handbook of Formal Methods in Human-Computer Interaction , خرید The Handbook of Formal Methods in Human-Computer Interaction , خرید کتاب The Handbook of Formal Methods in Human-Computer Interaction ,
دیدگاهها
هیچ دیدگاهی برای این محصول نوشته نشده است.