Tool support for interactive prototyping of safety-critical interactive applications

Encyclopedia of Human Computer Interaction

Volumn , Issue , 2005, Pages 603-608

  Bastide, Rémi ^a   Navarre, David ^a   Palanque, Philippe ^a  

^a UNIVERSITÉ PAUL SABATIER   (France)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84898310125     PISSN: None     EISSN: None     Source Type: Book    
DOI: 10.4018/978-1-59140-562-7.ch089     Document Type: Chapter

References (15)

1. Bastide, R., & Palanque, P. (1990). Petri net objects for the design, validation and prototyping of user-driver interfaces. Third IFIP Conference on Human-Computer Interaction: Interact'90, (pp. 625-631).
2. th International Conference on Application and Theory of Petri Nets (ATPN'95) (pp. 153-167).
3. nd Conference on Computer Aided Design of User Interfaces (CADUI'96) (pp. 153-167).
4. Bastide, R., & Palanque, P. (1999). A visual and formal glue between application and interaction. Journal of Visual Language and Computing, 10(3), 129-153.
5. Bastide, R., Sy, O., Palanque, P., & Navarre, D. (2000). Formal specification of CORBA services: Experience and lessons learned. ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), (pp. 153-163).
6. Beaudouin-Lafon, M. (2000). Instrumental interaction: An interaction model for designing post-WIMP user interfaces. ACM CHI'2000 Conference on Human Factors in Computing Systems, (pp. 153-161).
7. Bodart, F., Hennebert, A. M., Leheureux, J. M., & Vanderdonckt, J. (1993). Encapsulating knowledge for intelligent automatic interaction objects selec tion. Human Factors in Computing Systems INTERCHI'93, 424-429.
8. Hix, D., & Hartson, R. (1993). Developing user interfaces: Ensuring usability through product and process. New York: John Wiley & Sons.
9. rd International Conference on Computer-Aided Design of User Interfaces (pp. 153-179).
10. Jacob, R. (1999). A software model and specification language for non-WIMP user interfaces. ACM Transactions on Computer-Human Interaction, 6(1), 1-46.
11. Märtin, C. (1999). A method engineering framework for modelling and generating interactive applications. Third International Conference on Computer-Aided Design of User Interfaces, (pp. 50-63).
12. Palanque, P., & Bastide, R. (1995). Verification of an interactive software by analysis of its formal specification. Proceedings of Interact'95 (pp. 191-196).
13. th Conference on Human Computer Interaction (pp. 543-550).
14. Pfaff, G. (Ed.). (1985). User interface management systems: Eurographics seminar. Seeheim, Germany: Springer Verlag.
15. Rettig, M. (1994). Prototyping for tiny fingers. Communications of the ACM, 37(4), 21-27.