; ; ;
2015
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
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:
PDF (PDFA)
OpenAccess:
PDF
Dokumenttyp
Proceedings
Format
online
Sprache
English
Interne Identnummern
RWTH-2015-03042
Datensatz-ID: 479353
Beteiligte Länder
Germany, New Zealand, UK, France
The record appears in these collections: |