A model-based tool for interactive prototyping of highly interactive applications

Conference on Human Factors in Computing Systems - Proceedings

Volumn , Issue , 2002, Pages 516-517

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

^a UNIVERSITÉ DE TOULOUSE   (France)

Author keywords

Formal description techniques; Model based approaches; Safety critical systems

Indexed keywords

AIR TRAFFIC CONTROL; INTERACTIVE COMPUTER SYSTEMS; INTERFACES (COMPUTER); COMMAND AND CONTROL SYSTEMS; HUMAN ENGINEERING; ITERATIVE METHODS;

MODEL-BASED TOOLS; COMPLEX DYNAMIC BEHAVIOR; FORMAL DESCRIPTION TECHNIQUES; FORMAL MODELING; FORMAL VALIDATION; INTERACTION TECHNIQUES; INTERACTIVE APPLICATIONS; INTERACTIVE PROTOTYPING; INTERACTIVE SYSTEM; MILITARY COMMAND AND CONTROL SYSTEMS; MODEL BASED APPROACH; SAFETY CRITICAL SYSTEMS; SAFETY-CRITICAL; USER-CENTERED DESIGN PROCESS;

SOFTWARE PROTOTYPING; INTERACTIVE DEVICES;

EID: 0037712012     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/506443.506457     Document Type: Conference Paper

References (7)

1. Bastide R. & Palanque P. "A Visual and Formal Glue Between Application and Interaction." Journal of Visual Language and Computing 10, no 3 (1999).
2. Bastide R. & Palanque P. "Petri Net Objects for the Design, Validation and Prototyping of User-Driver, Interfaces." 3rd IFIP Conference on Human-Computer Interaction, Interact'90, Cambridge, UK, 625-31 (1990).
3. Bastide R., Sy O., Palanque P., & Navarre D. Formal specification of CORBA services: experience and lessons learned. ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), Minneapolis, USA. ACM Press (2000).
4. Beaudouin-Lafon M. "Instrumental Interaction: An Interaction Model for Designing Post-WIMP User Interfaces". ACM CHI'2000 Conference on Human Factors in Computing Systems (2000).
5. Bodart F., Hennebert A.-M, Leheureux J.-M. & Vanderdonckt J. "Encapsulating Knowledge for Intelligent Automatic Interaction Objects Selection." in Human Factors in Computing Systems INTERCHI'93, Addison Wesley, 424-29, (1993).
6. Hix D. 6 & Hartson, R. "Developing User Interfaces: Ensuring Usability Through Product and Process.". New York, NY: John Wiley & Sons (1993).
7. Jacob R., "A Software Model and Specification Language for Non-WIMP User Interfaces." ACM Transactions on Computer-Human Interaction 6, no. 1, 1-46, (1999).