Programming interaction with hierarchical state machines;Programmer l'interaction avec des machines à états hiérarchiques

ACM International Conference Proceeding Series

Volumn 26-29-November-2002, Issue , 2002, Pages 129-136

  Blanch, Renaud ^a  

^a UFR 919 Laboratoire d'Informatique Pour la Mécanique et les Sciences de l'Ingénieur   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE REUSABILITY;

CONTROL STRUCTURE; HIERARCHICAL STATE MACHINES; IMPERATIVE PROGRAMMING LANGUAGES; INTERACTIVE SOFTWARE;

HUMAN COMPUTER INTERACTION;

EID: 84982843948     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (22)

1. R. Alur, S. Kannan, and M. Yannakakis. Communicating hierarchical state machines. In Proc. 26th International Colloquium on Automata, Languages, and Programming (ICALP'99), pp. 169-178, Prague -Czech Republic, July 1999.
2. R. Bastide, and Ph. Palanque. A Petri Net Based Environment for the Design of EventDriven Interfaces. In Proc. 16th International Conference on Application and Theory of Petri Nets (ATPN'95), Torino -Italy, June 1995.
3. M. Beaudouin-Lafon. Instrumental interaction : An interaction model for designing post-WIMP user interfaces. In Proc. ACM Conference on Human Factors in Computing Systems (CHI'2000), The Hague -Netherlands, April 2000. ACM Press.
4. M. Beaudouin-Lafon, and H. M. Lassen. The architecture and implementation of CPN2000, a post-WIMP graphical application. In Proc. ACM Symposium on User Interface Software and Technology (UIST'2000), Boston -USA, 2000.
5. G. Berry, and G. Gonthier. The Esterel synchronous programming language: Design, semantics, implementation. Science Of Computer Programming, Vol. 19, No. 2, pp. 87-152, 1992.
6. S. Chatty. Extending a graphical toolkit for twohanded interaction. In Proc. ACM Symposium on User Interface Software and Technology (UIST'94), pp. 195-204, Marina del Rey -USA, 1994.
7. S. Conversy, P. Janecek, and N. Roussel. Factorisons la gestion des évènements des applications interactives. In Travaux préparatoires des dixièmes journées francophones sur l'Interaction Homme Machine (IHM'98), pp. 141-144, Nantes -France, September 1998.
8. P. Dragicevic, and J.-D. Fekete. Input device selection and interaction configuration with ICON. In Joint proceedings of HCI 2001 and IHM 2001 (IHM-HCI'2001), pp. 543-558, Lille -France, September 2001.
9. O. Esteban, S. Chatty, and P. Palanque. Whizz'Ed : A visual environment for building highly interactive software. In Proc. 5th IFIP International Conference on Human-Computer Interaction (Interact'95), pp. 121-126, Lillehammer -Norway, June 1995.
10. E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design Patterns: Elements of Reusable Object-Oriented Software. Addison Wesley, 1995.
11. M. Green. A survey of three dialogue models. ACM Transaction on Graphics, Vol. 5, No. 3, pp. 244-275, July 1986.
12. D. Harel. Statecharts : A visual formalism for complex systems. Science of Computer Programming, Vol. 8, No. 3, pp. 231-274, 1987.
13. R. Jacob, L. Deligiannidis, and S. Morrison. A software model and specification language for non-WIMP user interfaces. ACM Transactions on Computer-Human Interaction, Vol. 6, No. 1, pp. 1-46, March 1999.
14. P. J. Lucas. An Object-Oriented Language System for Implementing Concurrent, Hierarchical, Finite State Machines. Technical Report UIUCDCS-R-94-1868, Department of Computer Science, University of Illinois, August 1994.
15. B. A. Myers. A New Model for Handling Input. ACM Transactions on Information Systems, Vol. 8, No. 3, pp. 289-320, July 1990.
16. B. A. Myers. Separating application code from toolkits : Eliminating the spaghetti of call-backs. In Proc. ACM Symposium on User Interface Software and Technology (UIST'91), pp. 211-220, Hilton Head -USA, 1991 .
17. D. Rubine. Specifying gestures by example. Computer Graphics, Vol. 25, No. 4, pp. 329-337, 1991.
18. P. Wegner. Why interaction is more powerful than algorithms. Communications of the ACM, Vol. 40, No. 5, pp. 80-91, May 1997.
19. R. Wieringa. A survey of structured and objectoriented software specification methods and techniques. ACM Computing Surveys, Vol. 30, No. 4, pp. 459-527, December 1998.
20. Libero Home page. http://www.imatix.com/html/libero/.
21. SMC Home page. http://smc.sourceforge.net/.
22. xjCharts Home page. http://www.xjtek.com/products/xjcharts/.