skip to content
Handbook of formal methods in human-computer interaction. Preview this item
ClosePreview this item
Checking...

Handbook of formal methods in human-computer interaction.

Author: Philippe Palanque
Publisher: Springer International Publish, 2017
Series: HUMAN-COMPUTER INTERACTION SER
Edition/Format:   Print book : EnglishView all editions and formats
Rating:

(not yet rated) 0 with reviews - Be the first.

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Document Type: Book
All Authors / Contributors: Philippe Palanque
ISBN: 9783319518374 3319518372
OCLC Number: 1023164927
Description: 575 sidor ; 16.5 cm
Contents: 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.
Series Title: HUMAN-COMPUTER INTERACTION SER

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/1023164927> # Handbook of formal methods in human-computer interaction.
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "1023164927" ;
   schema:bookFormat bgn:PrintBook ;
   schema:datePublished "2017" ;
   schema:editor <http://experiment.worldcat.org/entity/work/data/4201167250#Person/palanque_philippe> ; # Philippe Palanque
   schema:exampleOfWork <http://worldcat.org/entity/work/id/4201167250> ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/4201167250#Series/human_computer_interaction_ser> ; # HUMAN-COMPUTER INTERACTION SER
   schema:name "Handbook of formal methods in human-computer interaction." ;
   schema:productID "1023164927" ;
   schema:workExample <http://worldcat.org/isbn/9783319518374> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/1023164927> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/4201167250#Person/palanque_philippe> # Philippe Palanque
    a schema:Person ;
   schema:familyName "Palanque" ;
   schema:givenName "Philippe" ;
   schema:name "Philippe Palanque" ;
    .

<http://experiment.worldcat.org/entity/work/data/4201167250#Series/human_computer_interaction_ser> # HUMAN-COMPUTER INTERACTION SER
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/1023164927> ; # Handbook of formal methods in human-computer interaction.
   schema:name "HUMAN-COMPUTER INTERACTION SER" ;
    .

<http://worldcat.org/isbn/9783319518374>
    a schema:ProductModel ;
   schema:isbn "3319518372" ;
   schema:isbn "9783319518374" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.