東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

The handbook of formal methods in hu...

Weyers, Benjamin.

FindBook

Google Book

Amazon

博客來

The handbook of formal methods in human-computer interaction

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	The handbook of formal methods in human-computer interaction/ edited by Benjamin Weyers ... [et al.].
其他作者:	Weyers, Benjamin.
出版者:	Cham :Springer International Publishing : : 2017.,
面頁冊數:	xiv, 575 p. :ill. (some col.), digital ;24 cm.
內容註:	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.
Contained By:	Springer eBooks
標題:	Formal methods (Computer science) - Handbooks, manuals, etc. -
電子資源:	http://dx.doi.org/10.1007/978-3-319-51838-1
ISBN:	9783319518381

The handbook of formal methods in human-computer interaction
The handbook of formal methods in human-computer interaction[electronic resource] /edited by Benjamin Weyers ... [et al.]. - Cham :Springer International Publishing :2017. - xiv, 575 p. :ill. (some col.), digital ;24 cm. - Human-computer interaction series,1571-5035. - Human-computer interaction series..

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.

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.

ISBN: 9783319518381

Standard No.: 10.1007/978-3-319-51838-1doiSubjects--Topical Terms:

3236009
Formal methods (Computer science)
--Handbooks, manuals, etc.

LC Class. No.: QA76.9.F67

Dewey Class. No.: 004.0151

The handbook of formal methods in human-computer interaction
LDR:03347nmm a2200325 a 4500 001 2097370
003 DE-He213
005 20170424105956.0
006 m d
007 cr nn 008maaau
008 171229s2017 gw s 0 eng d
020 $a 9783319518381 $q (electronic bk.)
020 $a 9783319518374 $q (paper)
024 7 $a 10.1007/978-3-319-51838-1 $2 doi
035 $a 978-3-319-51838-1
040 $a GP $c GP
041 0 $a eng
050 4 $a QA76.9.F67
072 7 $a UYZG $2 bicssc
072 7 $a COM070000 $2 bisacsh
082 0 4 $a 004.0151 $2 23
090 $a QA76.9.F67 $b H236 2017
245 0 4 $a The handbook of formal methods in human-computer interaction $h [electronic resource] / $c edited by Benjamin Weyers ... [et al.].
260 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2017.
300 $a xiv, 575 p. : $b ill. (some col.), digital ; $c 24 cm.
490 1 $a Human-computer interaction series, $x 1571-5035
505 0 $a 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.
520 $a 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.
650 0 $a Formal methods (Computer science) $v Handbooks, manuals, etc. $3 3236009
650 0 $a Human-computer interaction $v Handbooks, manuals, etc. $3 817281
650 1 4 $a Computer Science. $3 626642
650 2 4 $a User Interfaces and Human Computer Interaction. $3 892554
650 2 4 $a Software Engineering. $3 890874
650 2 4 $a Mathematical Logic and Formal Languages. $3 892517
700 1 $a Weyers, Benjamin. $3 3236008
710 2 $a SpringerLink (Online service) $3 836513
773 0 $t Springer eBooks
830 0 $a Human-computer interaction series. $3 1568009
856 4 0 $u http://dx.doi.org/10.1007/978-3-319-51838-1
950 $a Computer Science (Springer-11645)