Supporting Usability Evaluation of Multimodal Man-Machine Interfaces for Space Ground Segment Applications Using Petri nets Based Formal Specification-Reference-Cited by-同舟云学术

Supporting Usability Evaluation of Multimodal Man-Machine Interfaces for Space Ground Segment Applications Using Petri nets Based Formal Specification

Published:2006-06-19 Issue: Volume: Page:
ISSN:
Container-title:SpaceOps 2006 Conference
language:
Short-container-title:

Author:

Palanque Philippe,Bernhaupt Regina,Navarre David,Ould Mourad,Winckler Marco

Publisher

American Institute of Aeronautics and Astronautics

Link

http://arc.aiaa.org/doi/pdf/10.2514/6.2006-5657

Reference42 articles.

1. Accot, J., Zhai, S. Performance evaluation of input devices in trajectory-based tasks: an application of the steering law. Proceedings ofthe SIGCHI conference onHuman factors incomputingsystems CHI'99. p.466-472. ACMPress.

2. Bastide R. and Palanque P. A Petri-Net Based Environment for the Design of Event-Driven Interfaces. 16th International Conference on Applications and Theory of Petri Nets, ICATPN'95, Torino, Italy. Lecture Notes in Computer Science, no. 935. Springer verlag,1995p.66-83.

3. Bastide R., Navarre D. & Palanque P. A Model-Based Tool for Interactive Prototyping of Highly Interactive Applications, Proceedingsof the ACMSIGCHI 2002(Extended Abstracts), pp.516-517, 2002.

Cited by 15 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. OUP accepted manuscript;Interacting with Computers;2021

2. Model-based Engineering of Feedforward Usability Function for GUI Widgets;Interacting with Computers;2021-01

3. Fortune Nets for Fortunettes: Formal, Petri Nets-Based, Engineering of Feedforward for GUI Widgets;Lecture Notes in Computer Science;2020

4. Model-Based Testing of Post-WIMP Interactions Using Object Oriented Petri-Nets;Lecture Notes in Computer Science;2020

5. Exploiting Action Theory as a Framework for Analysis and Design of Formal Methods Approaches: Application to the CIRCUS Integrated Development Environment;Human–Computer Interaction Series;2017