NDLI: Workshop on formal methods in human computer interaction

Please wait, while we are loading the content...

The breadth-depth dichotomy: a force for mediocrity

HiReD: a high-resolution multi-window visualisation environment for cluster-driven displays

GISMO: a domain-specific modelling language for executable prototyping of gestural interaction

A novel approach to sports oriented video games with real-time motion streaming

Model transformation rules for customization of multi-device graphical user interfaces

Capturing and analysing movement using depth sensors and Labanotation

fabryq: using phones as gateways to prototype internet of things applications using web scripting

Connecting UI and business processes in a collaborative sketching environment

A test-bed for facebook friend-list recommendations

The semantic web: interacting with the unknown

A generic tool-supported framework for coupling task models and interactive applications

Plasticity of user interfaces: formal verification of consistency

Large-scale interaction deployment: approaches and challenges

Yeti: yet another automatic interface composer

Designing guiding systems for gesture-based interaction

A case study into the accessibility of text-parser based interaction

Creating models of interactive systems with the support of lightweight reverse-engineering tools

Kinect analysis: a system for recording, analysing and sharing multimodal interaction elicitation studies

PhoneEar: interactions for mobile devices that hear high-frequency sound-encoded data

To print or not to print: hybrid learning with METIS learning platform

Hasselt UIMS: a tool for describing multimodal interactions with composite events

Using profiled ontologies to leverage model driven user interface generation

Equivalence checking for comparing user interfaces

Workshop on formal methods in human computer interaction

XDSession: integrated development and testing of cross-device applications

A toolkit for analysis and prediction of touch targeting behaviour on mobile websites

Towards a gamification of industrial production: a comparative study in sheltered work environments

Model-based development of accessible, personalized web forms for ICF-based assessment

FlyLoop: a micro framework for rapid development of physiological computing systems

Sensor-based and tangible interaction with a TV community platform for seniors

TULIP: a widget-based software framework for tangible tabletop interfaces

Using the djnn framework to create and validate interactive components iteratively

Verification of properties of interactive components from their executable code

Model-based interactive ubiquitous systems (MODIQUITOUS)

Plasticity for 3D user interfaces: new models for devices and interaction techniques

LIBRARINTH interactive game to explore the library of the future

Responsive task modelling

Dynamic user interface adaptation driven by physiological parameters to support learning

The SHARC framework: utilizing personal dropbox accounts to provide a scalable solution to the storage and sharing of community generated locative media

Innovative key features for mastering model complexity: flexilab, a multimodel editor illustrated on task modeling

Towards a privacy threat model for public displays

Engineering interactive systems with SCXML

A tool for optimizing the use of a large design space for gesture guiding systems

Systems and tools for cross-device user interfaces

Workshop on formal methods in human computer interaction

Content Provider	ACM Digital Library
Author	Palanque, Philippe Weyers, Benjamin Bowen, Judy Dix, Alan
Abstract	This workshop aims to gather active researchers and practitioners in the field of formal methods for interactive systems. The main objective is twofold: on one hand 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 [1] following the seminal work reported in [2]. On the other hand, to identify important themes for the next decade of research. Formal methods aid in the design, development and evaluation of interactive systems providing the unique opportunity for complete and unambiguous description amenable to formal verification. The HCI community has demonstrated that the next generation of user interfaces is moving off the desktop: these emerging interfaces exploit novel input techniques such as tangible, haptic, camera-based, brain-computer, interaction, present a large quantity of information possibly distributed to a wide range of devices. In this workshop, we will discuss common themes, conflicting approaches and techniques, and future directions for the next generation of formal methods that will support the development of large scale dependable and usable interactive systems.
Starting Page	294
Ending Page	295
Page Count	2
File Format	PDF
ISBN	9781450336468
DOI	10.1145/2774225.2777460
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	2015-06-23
Publisher Place	New York
Access Restriction	Subscribed
Subject Keyword	Formal description techniques Formal analysis Verification Formal methods Usability
Content Type	Text
Resource Type	Article

Central Library (ISO-9001:2015 Certified)
Indian Institute of Technology Kharagpur
Kharagpur, West Bengal, India | PIN - 721302

See location in the Map
03222 282435
Mail: support@ndl.gov.in

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in