No Cover Image

Book chapter 371 views

Modelling interactions: digital and physical

Alan Dix Orcid Logo

Formal Methods for an Informal World

Swansea University Author: Alan Dix Orcid Logo

Abstract

The first part of this chapter gives a lightening introduction to the use of formal methods in human--computer interaction. This includes an overview of the kinds of models, and typical domains where techniques are currently applied. It then outlines some of the potential future directions for the f...

Full description

Published in: Formal Methods for an Informal World
Published: Springer
URI: https://cronfa.swan.ac.uk/Record/cronfa62777
Tags: Add Tag
No Tags, Be the first to tag this record!
first_indexed 2023-03-13T14:27:19Z
last_indexed 2023-03-14T04:24:07Z
id cronfa62777
recordtype SURis
fullrecord <?xml version="1.0"?><rfc1807><datestamp>2023-03-13T14:27:20.5344357</datestamp><bib-version>v2</bib-version><id>62777</id><entry>2023-03-02</entry><title>Modelling interactions: digital and physical</title><swanseaauthors><author><sid>e31e47c578b2a6a39949aa7f149f4cf9</sid><ORCID>0000-0002-5242-7693</ORCID><firstname>Alan</firstname><surname>Dix</surname><name>Alan Dix</name><active>true</active><ethesisStudent>false</ethesisStudent></author></swanseaauthors><date>2023-03-02</date><deptcode>SCS</deptcode><abstract>The first part of this chapter gives a lightening introduction to the use of formal methods in human--computer interaction. This includes an overview of the kinds of models, and typical domains where techniques are currently applied. It then outlines some of the potential future directions for the field. The second part focuses on a specific area, the formal specification and analysis of systems that have both physical and digital aspects. This includes the use of physigrams, an extension of finite state networks for describing interactions with physical devices such as hand-held controllers. It also describes how formal analysis contributed to the design of an internet-enabled -cafe open' sign &#x2013; IoT in action!.</abstract><type>Book chapter</type><journal>Formal Methods for an Informal World</journal><volume/><journalNumber/><paginationStart/><paginationEnd/><publisher>Springer</publisher><placeOfPublication/><isbnPrint/><isbnElectronic/><issnPrint/><issnElectronic/><keywords>human-computer interaction, formal methods, physigram, IoT, physical-digital design</keywords><publishedDay>0</publishedDay><publishedMonth>0</publishedMonth><publishedYear>0</publishedYear><publishedDate>0001-01-01</publishedDate><doi/><url/><notes/><college>COLLEGE NANME</college><department>Computer Science</department><CollegeCode>COLLEGE CODE</CollegeCode><DepartmentCode>SCS</DepartmentCode><institution>Swansea University</institution><apcterm/><funders/><projectreference/><lastEdited>2023-03-13T14:27:20.5344357</lastEdited><Created>2023-03-02T12:34:05.6885181</Created><path><level id="1">Faculty of Science and Engineering</level><level id="2">School of Mathematics and Computer Science - Computer Science</level></path><authors><author><firstname>Alan</firstname><surname>Dix</surname><orcid>0000-0002-5242-7693</orcid><order>1</order></author></authors><documents/><OutputDurs/></rfc1807>
spelling 2023-03-13T14:27:20.5344357 v2 62777 2023-03-02 Modelling interactions: digital and physical e31e47c578b2a6a39949aa7f149f4cf9 0000-0002-5242-7693 Alan Dix Alan Dix true false 2023-03-02 SCS The first part of this chapter gives a lightening introduction to the use of formal methods in human--computer interaction. This includes an overview of the kinds of models, and typical domains where techniques are currently applied. It then outlines some of the potential future directions for the field. The second part focuses on a specific area, the formal specification and analysis of systems that have both physical and digital aspects. This includes the use of physigrams, an extension of finite state networks for describing interactions with physical devices such as hand-held controllers. It also describes how formal analysis contributed to the design of an internet-enabled -cafe open' sign – IoT in action!. Book chapter Formal Methods for an Informal World Springer human-computer interaction, formal methods, physigram, IoT, physical-digital design 0 0 0 0001-01-01 COLLEGE NANME Computer Science COLLEGE CODE SCS Swansea University 2023-03-13T14:27:20.5344357 2023-03-02T12:34:05.6885181 Faculty of Science and Engineering School of Mathematics and Computer Science - Computer Science Alan Dix 0000-0002-5242-7693 1
title Modelling interactions: digital and physical
spellingShingle Modelling interactions: digital and physical
Alan Dix
title_short Modelling interactions: digital and physical
title_full Modelling interactions: digital and physical
title_fullStr Modelling interactions: digital and physical
title_full_unstemmed Modelling interactions: digital and physical
title_sort Modelling interactions: digital and physical
author_id_str_mv e31e47c578b2a6a39949aa7f149f4cf9
author_id_fullname_str_mv e31e47c578b2a6a39949aa7f149f4cf9_***_Alan Dix
author Alan Dix
author2 Alan Dix
format Book chapter
container_title Formal Methods for an Informal World
institution Swansea University
publisher Springer
college_str Faculty of Science and Engineering
hierarchytype
hierarchy_top_id facultyofscienceandengineering
hierarchy_top_title Faculty of Science and Engineering
hierarchy_parent_id facultyofscienceandengineering
hierarchy_parent_title Faculty of Science and Engineering
department_str School of Mathematics and Computer Science - Computer Science{{{_:::_}}}Faculty of Science and Engineering{{{_:::_}}}School of Mathematics and Computer Science - Computer Science
document_store_str 0
active_str 0
description The first part of this chapter gives a lightening introduction to the use of formal methods in human--computer interaction. This includes an overview of the kinds of models, and typical domains where techniques are currently applied. It then outlines some of the potential future directions for the field. The second part focuses on a specific area, the formal specification and analysis of systems that have both physical and digital aspects. This includes the use of physigrams, an extension of finite state networks for describing interactions with physical devices such as hand-held controllers. It also describes how formal analysis contributed to the design of an internet-enabled -cafe open' sign – IoT in action!.
published_date 0001-01-01T04:23:08Z
_version_ 1763663925722742784
score 11.013731

Similar Items