Performance evaluation as a tool for quantitative assessment of complexity of interactive systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2545, Issue , 2002, Pages 208-222

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

^a UNIVERSITÉ PAUL SABATIER   (France)

Author keywords

[No Author keywords available]

Indexed keywords

DESIGN; EFFICIENCY; SAFETY ENGINEERING; SPECIFICATIONS;

DESIGN PROCESS; FORMAL DESCRIPTION TECHNIQUES; INTERACTIVE SYSTEM; QUANTITATIVE ASSESSMENTS; REAL TIME; RELATIVE EFFICIENCY; SAFETY CRITICAL SYSTEMS; SUPPORTING DESIGN;

REAL TIME SYSTEMS;

EID: 27844594154     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-36235-5_16     Document Type: Conference Paper

References (20)

1. Ajmone Marsan, M., Balbo, G., Conte, C., Donatelli, S., Franceschinis, G.: “Modelling with generalized stochastic Petri nets.” Wiley 1995.
2. Anderson, J.R.: “Rules of the Mind.” Lawrence Erlbaum Associate 1993.
3. Bastide, R., Palanque, P., Le, D.H., Muñoz, J.: “Integrating Rendering Specifications into a Formalism for the Design of Interactive Systems.” In Proceedings of 5th Eurographics workshop on”design, specification and verification of Interactive systems”, DSV-IS’98, Abdington, U.K., 3–5 june 1998, Springer Verlag 1998.
4. Bastide, R., Sy, O., Palanque, P., Navarre, D.: “Formal specification of CORBA services: experience and lessons learned.” In Proceedings of ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA’ 2000); Minneapolis, Minnesota USA., ACM Press; 2000: 105–117. ACM SIGPLAN Notices. v. 35 (10).
5. Bastide, R., Navarre, D., Palanque, P.: “A model based tool for interactive prototyping of Highly Interactive Environement.” Demonstration paper in Proceedings of ACM CHI 2002, conference companion, ACM Press.
6. Card, S.K., Moran, T.P., Newell, A.: “The Keystroke-Level Model for User Performance Time with Interactive Systems.” In Communications of the ACM, 1980; 23(7): pp. 396–410.
7. Card, S.K., Moran, T.P., Newell, A.: “The Model Human Processor: An Engineering Model of Human Performance.” In Handbook of Perception and Human Performance, 1986: pp. 1–35.
8. Fitt, P.M.: “The information capacity of the human motor system in controlling the amplitude of movement.” In Journal of Experimental Psychology, 1954; 47: pp. 381–391.
9. Genrich, H.J.: “Predicate/Transition Nets.” In K. Jensen and G. Rozenberg (Eds.) High-Level Petri Nets: Theory and Application., Springer Verlag, Berlin, pp. 3-43.
10. Kieras, D., Meyer, D.: “An Overview of the EPIC Architecture for Cognition and Performance with Apllication to Human-Computer Interaction.” In Human Computer Interaction 1997, 12, pp. 391–438.
11. Merlin, P., Farber, D.J.: “Recoverability of communication protocols-Implications of a theoretical study.” 1976; 24, (9).
12. Miller, G.A.: “The Magic Number Seven Plus or Minus Two.”, 1956, 63, pp. 81–97.
13. Moher, T., Dirda, V., Bastide, R., Palanque, P.: “Monolingual, Articulated Modeling of Devices, Users, and Interfaces.” In Proceedings of DSV-IS’96, Namur, Belgium, Springer Verlag; 1996: pp. 312–329.
14. Navarre, D., Palanque, P., Bastide, R., Sy, O.: “Structuring Interactive Systems Specifications for Executability and Prototypability.” In Proceedings of 7th Eurographics Workshop on Design, Specification and Verification of Interactive Systems, DSV-IS’2000, Limerick, Ireland, 2000, Lecture notes in Computer Science no 1946, Springer Verlag 1996.
15. O’Donnel, P., Draper, S.W.: “How machine delays change user strategies.”, ACM SIGCHI Bulletin. 1996; 28(2): pp. 39–42.
16. OMG: “The Common Object Request Broker: Architecture and Specification.” In CORBA IIOP 2.2 /98-02-01, Framingham, MA (1998).
17. Palanque, P., Bastide, R.: “Performance evaluation as a tool for the design of interactive systems.” In Proceedings of Conférence internationale IEEE SMC CESA’96, IEEE Press Université de Lille, 9-12 July 1996. p. 328–333.
18. Paternò, F.: “Model-Based Design and Evaluation of Interactive Application.”, Springer Verlag 1999.
19. Ramchandani, C.: “Analysis of asynchrounous concurrent systems, an Overview.”, Ph.D. Thesis, MIT, Project MAC TR-120, 1974.
20. Russo, J.E.: “Adaptation of Cognitive Processes to Eye Movements. Eye Movements and Higher Psychological Functions.”, Lawrence Erlbaum; 1978.