h1

h2

h3

h4

h5
h6
http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png

Proceedings of the Workshop on Formal Methods in Human Computer Interaction (FoMHCI) 2015, Duisburg, Germany : [In Conjunction with the 7th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS)]

; ; ;

VerantwortlichkeitsangabeEds.: Benjamin Weyers, Judy Bowen, Alan Dix, Philippe Palanque

Konferenz/Event:Workshop on Formal Methods for Human Computer Interaction , Duisburg , Germany , FoMHCI , 2015-06-23 - 2015-06-23

ImpressumAachen : Publikationsserver der RWTH Aachen University

Umfang53 S. : Ill., graph. Darst.

Online
URN: urn:nbn:de:hbz:82-rwth-2015-030425
URL: https://publications.rwth-aachen.de/record/479353/files/FoMHCI2015proceedings.pdf?subformat=pdfa
URL: https://publications.rwth-aachen.de/record/479353/files/FoMHCI2015proceedings.pdf

Einrichtungen

  1. IT Center (022000)

Inhaltliche Beschreibung (Schlagwörter)
formal modeling (frei) ; formal methods (frei) ; human computer interaction (frei) ; user interfaces (frei) ; formal description (frei) ; formal languages (frei)

Kurzfassung
This workshop aims to gather active researchers and practitioners in the field of formal methods in the context of user interfaces, interaction techniques, and interactive systems. The main objectives are to look at the evolutions of the definition and use of formal methods for interactive systems since the last book on the field nearly 20 years ago and also to identify important themes for the next decade of research. The goals of this workshop are to offer an exchange platform for scientists who are interested in the formal modeling and description of interaction, user interfaces, and interactive systems and to discuss existing formal modeling methods in this area of conflict. Participants will be asked to present their perspectives, concepts, and techniques for formal modeling along one of two case studies – the control of a nuclear power plant and an air traffic management arrival manager.

Open Access:
Download fulltext PDF (PDFA)
OpenAccess:
Download fulltext PDF

Dokumenttyp
Proceedings

Format
online

Sprache
English

Interne Identnummern
RWTH-2015-03042
Datensatz-ID: 479353

Beteiligte Länder
Germany, New Zealand, UK, France

 GO


Creative Commons Attribution CC BY 4.0 ; OpenAccess

QR Code for this record

The record appears in these collections:
Document types > Books > Proceedings
Publication server / Open Access
Central and Other Institutions
Documents in print
Public records
022000

 Record created 2015-06-17, last modified 2024-02-22


Open Access:
Download fulltext PDF (PDFA)
OpenAccess:
Download fulltext PDF
Rate this document:

Rate this document:
1
2
3
 
(Not yet reviewed)