scholarly journals Vérification et validation formelles de systèmes interactifs fondées sur la preuve : application aux systèmes Multi-Modaux

2014 ◽  
Vol Volume 1 ◽  
Author(s):  
Yamine Aït-Ameur ◽  
Idir Aït-Sadoune ◽  
Mickael Baron ◽  
Jean-Marc Mota
Keyword(s):  
Classical Model ◽  
Multimodal Interfaces ◽  
Test Automation ◽  
Proof Technique ◽  
Validation And Verification ◽  
Computer Interfaces ◽  
Human Computer Interfaces ◽  
Care Family ◽  
Event B Method

This paper focuses on the formal validation and verification of multi-modal human computer interfaces. It describes part of the obtained results of the French RNRT VERBATIM project whose purpose is the Multimodal Interfaces BIformal Verification and Test Automation. This project focuses on the application of a formal technique, namely the event B method. This approach is based on a proof technique and therefore it does not suffer from the state number explosion problem occurring in classical model checking. We outline the capability of this technique to support the design of multi-modal human computer interfaces, in particular, the capability to support the expression and the verification of properties issued from the CARE family. The proposed approach uses notations and semi-formal techniques issued from the HCI design area. We apply our approach on a case study called "CLIPS Yellow Pages".

A Case Study of Transparent User Interfaces in a Commercial 3-D Modeling and Paint Application

1996 ◽  
Vol 40 (6) ◽  
pp. 375-379
Author(s):  
Beverly L. Harrison ◽  
Kim J. Vicente
Keyword(s):  
User Interfaces ◽  
Basic Research ◽  
Structured Interview ◽  
Controlled Experiments ◽  
Ongoing Research ◽  
Computer Interfaces ◽  
Human Computer Interfaces ◽  
Commercial Applications

This paper describes a case study of transparent user interface tools in a commercial 3-D modeling and paint application. It represents another step in an ongoing research program evaluating transparent human-computer interfaces. Results from previous controlled experiments were used to inform our design choices in the working product. We collected data from 11 users one month after they received the application, using a semi-structured interview. Working sessions were also video taped and analyzed. Based on these results, modifications were made and a follow-up interview was conducted three weeks later. A number of transparency-related issues were identified. This case study illustrates the value and challenges that one encounters in transitioning from basic research to commercial applications.

Integration of Principles of Human Factors into an Undergraduate Computer Technology Curriculum: A Case Study

1985 ◽  
Vol 29 (5) ◽  
pp. 485-488
Author(s):  
Susan C. Hoffman
Keyword(s):  
Human Factors ◽  
Programming Languages ◽  
Data Structures ◽  
Computer Technology ◽  
Undergraduate Curriculum ◽  
Computer Interfaces ◽  
Human Computer Interfaces ◽  
Maximum Exposure

undergraduate university curriculums in computer technology are structured to provide students with a maximum exposure to programming languages, data structures, and elements of system design. Current textbooks fail to provide adequate discussions and examples of programs which demonstrate good human factors. The purpose of this study was to determine if concepts and techniques for designing human computer interfaces can be integrated within the existing courses in the undergraduate curriculum in computer technology. A class in applications programming using Pascal was given a long-term assignment to design an interactive program for an untrained user. This assignment was then repeated following exposure to human factors guidelines. The class showed significant improvements in the design of the user interface.

scholarly journals Why Experimental Interfaces Should Include an Application Programming Interface

2015 ◽  
Vol 6 (2) ◽  
Author(s):  
Stan Ruecker ◽  
Peter Hodges ◽  
Nayaab Lokhadwala ◽  
Szu-Ying Ching ◽  
Jennifer Windsor ◽  
...  
Keyword(s):  
Application Programming Interface ◽  
The Other ◽  
Computer Interfaces ◽  
Human Computer Interfaces ◽  
Application Programming ◽  
Boolean Queries ◽  
Visual Construction ◽  
The One ◽  
Programming Interface

An Application Programming Interface (API) can serve as a mechanism for separating interface concerns on the one hand from data and processing on the other, allowing for easier implementation of alternative human-computer interfaces. The API can also be used as a sounding board for ideas about what an interface should and should not accomplish. Our discussion will take as its case study our recent work in designing experimental interfaces for the visual construction of Boolean queries, for a project we have previously called the Mandala Browser.

Blind User Interfacing

2011 ◽  
pp. 205-223
Author(s):  
Fernando Alonso ◽  
José Fuertes ◽  
Ángel González ◽  
Loïc Martínez
Keyword(s):  
User Interfaces ◽  
Interface Design ◽  
Programming Library ◽  
Computer Interfaces ◽  
Human Computer Interfaces ◽  
Usability Requirements ◽  
Blind User ◽  
User Interfacing ◽  
Dual User

There are specific usability requirements for developing dual interfaces, that is, graphical user interfaces that are also adapted for blind users. These include task adequacy, dimensional trade-off, behavior equivalence, semantic loss avoidance and device-independence. Consequently, the development of human-computer interfaces based on task, domain, dialog, presentation, platform and user models has to be modified to take into account these requirements. This paper presents the requirements for blind user interfacing, the changes to be made to the human-computer interface models and a framework that improves the development of dual user interfaces. The framework includes a set of guidelines for interface design, a toolkit for the low effort implementation of dual user interfaces, and a programming library for the inclusion of speech and Braille in applications. A case study of the development of one such dual interface application is also presented.

Blind User Interfacing

2012 ◽  
pp. 149-167
Author(s):  
Fernando Alonso ◽  
José Fuertes ◽  
Ángel González ◽  
Loïc Martínez
Keyword(s):  
User Interfaces ◽  
Interface Design ◽  
Programming Library ◽  
Computer Interfaces ◽  
Human Computer Interfaces ◽  
Usability Requirements ◽  
Blind User ◽  
User Interfacing ◽  
Dual User

There are specific usability requirements for developing dual interfaces, that is, graphical user interfaces that are also adapted for blind users. These include task adequacy, dimensional trade-off, behavior equivalence, semantic loss avoidance and device-independence. Consequently, the development of human-computer interfaces based on task, domain, dialog, presentation, platform and user models has to be modified to take into account these requirements. This paper presents the requirements for blind user interfacing, the changes to be made to the human-computer interface models and a framework that improves the development of dual user interfaces. The framework includes a set of guidelines for interface design, a toolkit for the low effort implementation of dual user interfaces, and a programming library for the inclusion of speech and Braille in applications. A case study of the development of one such dual interface application is also presented.

scholarly journals Identification of Words and Phrases Through a Phonemic-Based Haptic Display

2021 ◽  
Vol 18 (3) ◽  
pp. 1-22
Author(s):  
Charlotte M. Reed ◽  
Hong Z. Tan ◽  
Yang Jiao ◽  
Zachary D. Perez ◽  
E. Courtenay Wilson
Keyword(s):  
Speech Communication ◽  
Haptic Display ◽  
Communication Aids ◽  
Remote Communication ◽  
Computer Interfaces ◽  
Speech Reception ◽  
Communication Device ◽  
Human Computer Interfaces ◽  
Sensory Impairments ◽  
Effective Transmission

Stand-alone devices for tactile speech reception serve a need as communication aids for persons with profound sensory impairments as well as in applications such as human-computer interfaces and remote communication when the normal auditory and visual channels are compromised or overloaded. The current research is concerned with perceptual evaluations of a phoneme-based tactile speech communication device in which a unique tactile code was assigned to each of the 24 consonants and 15 vowels of English. The tactile phonemic display was conveyed through an array of 24 tactors that stimulated the dorsal and ventral surfaces of the forearm. Experiments examined the recognition of individual words as a function of the inter-phoneme interval (Study 1) and two-word phrases as a function of the inter-word interval (Study 2). Following an average training period of 4.3 hrs on phoneme and word recognition tasks, mean scores for the recognition of individual words in Study 1 ranged from 87.7% correct to 74.3% correct as the inter-phoneme interval decreased from 300 to 0 ms. In Study 2, following an average of 2.5 hours of training on the two-word phrase task, both words in the phrase were identified with an accuracy of 75% correct using an inter-word interval of 1 sec and an inter-phoneme interval of 150 ms. Effective transmission rates achieved on this task were estimated to be on the order of 30 to 35 words/min.

Sign in / Sign up

Export Citation Format

Share Document