{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,16]],"date-time":"2026-03-16T23:39:41Z","timestamp":1773704381194,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540002666","type":"print"},{"value":"9783540362357","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-36235-5_16","type":"book-chapter","created":{"date-parts":[[2007,10,20]],"date-time":"2007-10-20T10:34:22Z","timestamp":1192876462000},"page":"208-222","source":"Crossref","is-referenced-by-count":8,"title":["Performance Evaluation as a Tool for Quantitative Assessment of Complexity of Interactive Systems"],"prefix":"10.1007","author":[{"given":"Xavier","family":"Lacaze","sequence":"first","affiliation":[]},{"given":"Philippe","family":"Palanque","sequence":"additional","affiliation":[]},{"given":"David","family":"Navarre","sequence":"additional","affiliation":[]},{"given":"R\u00e9mi","family":"Bastide","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,12,16]]},"reference":[{"key":"16_CR1","unstructured":"Ajmone Marsan, M., Balbo, G., Conte, C., Donatelli, S., Franceschinis, G.: \u201cModelling with generalized stochastic Petri nets.\u201d Wiley 1995."},{"key":"16_CR2","unstructured":"Anderson, J.R.: \u201cRules of the Mind.\u201d Lawrence Erlbaum Associate 1993."},{"key":"16_CR3","doi-asserted-by":"crossref","unstructured":"Bastide, R., Palanque, P., Le, D.H., Munoz, J.: \u201cIntegrating Rendering Specifications into a Formalism for the Design of Interactive Systems.\u201d In Proceedings of 5th Eurographics workshop on \u201cdesign, specification and verification of Interactive systems\u201d, DSV-IS\u201998, Abdington, U.K., 3-5 june 1998, Springer Verlag 1998.","DOI":"10.1007\/978-3-7091-3693-5_12"},{"key":"16_CR4","doi-asserted-by":"crossref","unstructured":"Bastide, R., Sy, O., Palanque, P., Navarre, D.: \u201cFormal specification of CORBA services: experience and lessons learned.\u201d In Proceedings of ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA\u2019 2000); Minneapolis, Minnesota USA., ACM Press; 2000: 105\u2013117. ACM SIGPLAN Notices. v. 35 (10)).","DOI":"10.1145\/353171.353179"},{"key":"16_CR5","doi-asserted-by":"crossref","unstructured":"Bastide, R., Navarre, D., Palanque, P.: \u201cA model based tool for interactive prototyping of Highly Interactive Environement.\u201d Demonstration paper in Proceedings of ACM CHI 2002, conference companion, ACM Press.","DOI":"10.1145\/506444.506457"},{"issue":"7","key":"16_CR6","doi-asserted-by":"publisher","first-page":"396","DOI":"10.1145\/358886.358895","volume":"23","author":"S.K. Card","year":"1980","unstructured":"Card, S.K., Moran, T.P., Newell, A.: \u201cThe Keystroke-Level Model for User Performance Time with Interactive Systems.\u201d In Communications of the ACM, 1980; 23(7): pp. 396\u2013410.","journal-title":"Communications of the ACM"},{"key":"16_CR7","unstructured":"Card, S.K., Moran, T.P., Newell, A.: \u201cThe Model Human Processor: An Engineering Model of Human Performance.\u201d In Handbook of Perception and Human Performance, 1986: pp. 1\u201335."},{"key":"16_CR8","doi-asserted-by":"publisher","first-page":"381","DOI":"10.1037\/h0055392","volume":"47","author":"P.M. Fitt","year":"1954","unstructured":"Fitt, P.M.: \u201cThe information capacity of the human motor system in controlling the amplitude of movement.\u201d In Journal of Experimental Psychology, 1954; 47: pp. 381\u2013391.","journal-title":"Journal of Experimental Psychology"},{"key":"16_CR9","doi-asserted-by":"crossref","unstructured":"Genrich, H.J.: \u201cPredicate\/Transition Nets.\u201d In K. Jensen and G. Rozenberg (Eds.) High-Level Petri Nets: Theory and Application., Springer Verlag, Berlin, pp. 3\u201343.","DOI":"10.1007\/978-3-642-84524-6_1"},{"key":"16_CR10","doi-asserted-by":"publisher","first-page":"391","DOI":"10.1207\/s15327051hci1204_4","volume":"12","author":"D. Kieras","year":"1997","unstructured":"Kieras, D., Meyer, D.: \u201cAn Overview of the EPIC Architecture for Cognition and Performance with Apllication to Human-Computer Interaction.\u201d In Human Computer Interaction 1997, 12, pp. 391\u2013438.","journal-title":"Human Computer Interaction"},{"key":"16_CR11","doi-asserted-by":"crossref","unstructured":"Merlin, P., Farber, D.J.: \u201cRecoverability of communication protocols-Implications of a theoretical study.\u201d 1976; 24, (9).","DOI":"10.1109\/TCOM.1976.1093424"},{"key":"16_CR12","first-page":"81","volume":"63","author":"G.A. Miller","year":"1956","unstructured":"Miller, G.A.: \u201cThe Magic Number Seven Plus or Minus Two.\u201d, 1956, 63, pp. 81\u201397.","journal-title":"The Magic Number Seven Plus or Minus Two"},{"key":"16_CR13","doi-asserted-by":"crossref","unstructured":"Moher, T., Dirda, V., Bastide, R., Palanque, P.: \u201cMonolingual, Articulated Modeling of Devices, Users, and Interfaces.\u201d In Proceedings of DSV-IS\u201996, Namur, Belgium, Springer Verlag; 1996: pp. 312\u2013329.","DOI":"10.1007\/978-3-7091-7491-3_16"},{"key":"16_CR14","series-title":"Lect Notes Comput Sci","volume-title":"Structuring Interactive Systems Specifications for Executability and Prototypability","author":"D. Navarre","year":"1996","unstructured":"Navarre, D., Palanque, P., Bastide, R., Sy, O.: \u201cStructuring Interactive Systems Specifications for Executability and Prototypability.\u201d In Proceedings of 7th Eurographics Workshop on Design, Specification and Verification of Interactive Systems, DSV-IS\u20192000, Limerick, Ireland, 2000, Lecture notes in Computer Science n 1946, Springer Verlag 1996."},{"issue":"2","key":"16_CR15","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1145\/226650.226665","volume":"28","author":"P. O\u2019Donnel","year":"1996","unstructured":"O'Donnel, P., Draper, S.W.: \u201cHow machine delays change user strategies.\u201d, ACM SIGCHI Bulletin. 1996; 28(2): pp. 39\u201342.","journal-title":"ACM SIGCHI Bulletin"},{"key":"16_CR16","unstructured":"OMG: \u201cThe Common Object Request Broker: Architecture and Specification.\u201d In CORBA IIOP 2.2 \/98-02-01, Framingham, MA (1998)."},{"key":"16_CR17","unstructured":"Palanque, P., Bastide, R.: \u201cPerformance evaluation as a tool for the design of interactive systems.\u201d In Proceedings of Conference internationale IEEE SMC CESA\u201996, IEEE Press Universit\u00e9 de Lille, 9-12 July 1996. p. 328\u2013333."},{"key":"16_CR18","doi-asserted-by":"crossref","unstructured":"Patern\u00f2, F.: \u201cModel-Based Design and Evaluation of Interactive Application.\u201d, Springer Verlag 1999.","DOI":"10.1007\/978-1-4471-0445-2"},{"key":"16_CR19","unstructured":"Ramchandani, C.: \u201cAnalysis of asynchrounous concurrent systems, an Overview.\u201d, Ph.D. Thesis, MIT, Project MAC TR-120, 1974."},{"key":"16_CR20","unstructured":"Russo, J.E.: \u201cAdaptation of Cognitive Processes to Eye Movements. Eye Movements and Higher Psychological Functions.\u201d, Lawrence Erlbaum; 1978."}],"container-title":["Lecture Notes in Computer Science","Interactive Systems:Design, Specification, and Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36235-5_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,3]],"date-time":"2019-05-03T18:02:46Z","timestamp":1556906566000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36235-5_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540002666","9783540362357"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-36235-5_16","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2002]]}}}