{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T05:54:35Z","timestamp":1725515675242},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540705680"},{"type":"electronic","value":"9783540705697"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-70569-7_20","type":"book-chapter","created":{"date-parts":[[2008,7,15]],"date-time":"2008-07-15T01:28:15Z","timestamp":1216085295000},"page":"208-224","source":"Crossref","is-referenced-by-count":6,"title":["An Architecture and a Formal Description Technique for the Design and Implementation of Reconfigurable User Interfaces"],"prefix":"10.1007","author":[{"given":"David","family":"Navarre","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Philippe","family":"Palanque","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean-Fran\u00e7ois","family":"Ladry","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sandra","family":"Basnyat","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"20_CR1","volume-title":"4th EUROGRAPHICS workshop on design","author":"J. Accot","year":"1997","unstructured":"Accot, J., Chatty, S., Maury, S., Palanque, P.: Formal Transducers: Models of Devices and Building Bricks for Highly Interactive Systems (1,1 Mo). In: 4th EUROGRAPHICS workshop on design, Granada, Spain, June 5-7, 1997. Springer, Heidelberg (1997)"},{"unstructured":"ARINC 661, Prepared by Airlines Electronic Engineering Committee. Cockpit Display System Interfaces to User Systems. ARINC Specification 661 (2002)","key":"20_CR2"},{"unstructured":"ARINC 661-2, Prepared by Airlines Electronic Engineering Committee. Cockpit Display System Interfaces to User Systems. ARINC Specification 661-2 (2005)","key":"20_CR3"},{"doi-asserted-by":"crossref","unstructured":"Bass, L., et al.: A metamodel for the runtime architecture of an interactive system: the UIMS tool developers workshop. In: SIGCHI Bulletin, vol.\u00a024(1), pp. 32\u201337 (1992)","key":"20_CR4","DOI":"10.1145\/142394.142401"},{"key":"20_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/978-3-540-69554-7_3","volume-title":"Interactive Systems. Design, Specification, and Verification","author":"E. Barboni","year":"2007","unstructured":"Barboni, E., Conversy, S., Navarre, D., Palanque, P.: Model-Based Engineering of Widgets, User Applications and Servers Compliant with ARINC 661 Specification. In: Doherty, G., Blandford, A. (eds.) DSVIS 2006. LNCS, vol.\u00a04323, pp. 25\u201338. Springer, Heidelberg (2007)"},{"issue":"5","key":"20_CR6","doi-asserted-by":"publisher","first-page":"465","DOI":"10.1093\/comjnl\/31.5.465","volume":"31","author":"D. Benyon","year":"1988","unstructured":"Benyon, D., Murray, D.: Experience with Adaptive Interfaces. The Computer Journal\u00a031(5), 465\u2013473 (1988)","journal-title":"The Computer Journal"},{"doi-asserted-by":"crossref","unstructured":"Berti, S., Correani, F., Patern\u00f2, F., Santoro, C.: The TERESA XML Language for the Description of Interactive Systems at Multiple Abstraction Leveles. In: Proceedings Workshop on Developing User Interfaces with XML UIXML: Advances on User Interface Description Languages, May 2004, pp. 103\u2013110 (2004)","key":"20_CR7","DOI":"10.1145\/985921.985939"},{"issue":"3","key":"20_CR8","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1016\/S0953-5438(03)00010-9","volume":"15","author":"G. Calvary","year":"2003","unstructured":"Calvary, G., Coutaz, J., Thevenin, D., Limbourg, Q., Bouillon, L., Vanderdonckt, J.: A Unifying Reference Framework for multi-target user interfaces. Interacting with Computers\u00a015(3), 289\u2013308 (2003)","journal-title":"Interacting with Computers"},{"key":"20_CR9","volume-title":"Flow: The Psychology of Optimal Experience","author":"M. Cs\u00edkszentmih\u00e1lyi","year":"1990","unstructured":"Cs\u00edkszentmih\u00e1lyi, M.: Flow: The Psychology of Optimal Experience. Harper and Row, New York (1990)"},{"key":"20_CR10","first-page":"110","volume-title":"Proceedings of Interact 1999","author":"D. Thevenin","year":"1999","unstructured":"Thevenin, D., Coutaz, J.: Plasticity of User Interfaces: Framework and Research Agenda. In: Proceedings of Interact 1999. Edinburgh: IFIP TC 13, vol.\u00a01, pp. 110\u2013117. IOS Press, Amsterdam (1999)"},{"key":"20_CR11","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1145\/1031453.1031468","volume-title":"WIDM 2004: Proceedings of the 6th annual ACM international workshop on Web information and data management","author":"M. Eirinaki","year":"2004","unstructured":"Eirinaki, M., Lampos, C., Paulakis, S., Vazirgiannis, M.: Web personalization integrating content semantics and navigational patterns. In: WIDM 2004: Proceedings of the 6th annual ACM international workshop on Web information and data management, pp. 72\u201379. ACM Press, New York (2004)"},{"key":"20_CR12","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/978-3-642-84524-6_1","volume-title":"High-Levels Petri Nets: Theory and Application","author":"H.J. Genrich","year":"1991","unstructured":"Genrich, H.J.: Predicate\/Transitions Nets. In: Jensen, K., Rozenberg, G. (eds.) High-Levels Petri Nets: Theory and Application, pp. 3\u201343. Springer, Heidelberg (1991)"},{"unstructured":"Hollnagel, E., Woods, D.D., Leveson, N.: Reliability Engineering, Ashgate, p. 397 (2006) ISBN 0754646416","key":"20_CR13"},{"issue":"4","key":"20_CR14","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1207\/s15327051hci1904_2","volume":"19","author":"M. Hassenzahl","year":"2004","unstructured":"Hassenzahl, M.: The Interplay of Beauty, Goodness, and Usability in Interactive Products. Human-Computer Interaction\u00a019(4), 319\u2013349 (2004)","journal-title":"Human-Computer Interaction"},{"unstructured":"Kay, A.: Pragmatic User Modeling for Adaptive Interfaces, and Lies, Damned Lies and Stereotypes: pragmatic approximations of users. In: Proceedings of the User Modeling 94 Conference, pp. 175\u2013184. The Mitre Corporation (1994)","key":"20_CR15"},{"key":"20_CR16","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1080\/014492999118995","volume":"18","author":"S. MacKenzie","year":"1999","unstructured":"MacKenzie, S., Zhang, S.X., Soukoreff, R.W.: Text entry using soft keyboards. Behaviour & Information Technology\u00a018, 235\u2013244 (1999)","journal-title":"Behaviour & Information Technology"},{"key":"20_CR17","first-page":"336","volume-title":"Proceedings of the SIGCHI Conference on Human Factors in Computing Systems, Conference on Human Factors in Computing Systems","author":"S. MacKenzie","year":"1998","unstructured":"MacKenzie, S., Oniszczak, A.: A comparison of three selection techniques for touchpads. In: Proceedings of the SIGCHI Conference on Human Factors in Computing Systems, Conference on Human Factors in Computing Systems, Los Angeles, California, United States, April 18 - 23, 1998, pp. 336\u2013343. ACM Press\/Addison-Wesley Publishing Co, New York (1998)"},{"key":"20_CR18","first-page":"309","volume-title":"A Tool-Supported Design Framework for Safety Critical Interactive Systems in Interacting with computers","author":"D. Navarre","year":"2003","unstructured":"Navarre, D., Palanque, P., Bastide, R.: A Tool-Supported Design Framework for Safety Critical Interactive Systems in Interacting with computers, vol.\u00a015\/3, pp. 309\u2013328. Elsevier, Amsterdam (2003)"},{"unstructured":"Navarre, D., Palanque, P., Bastide, R.: A Formal Description Technique for the Behavioural Description of Interactive Applications Compliant with ARINC 661 Specifications. In: HCI-Aero 2004, Toulouse, France, 29 September-1st (October 2004)","key":"20_CR19"},{"key":"20_CR20","volume-title":"Usability Engineering","author":"J. Nielsen","year":"1993","unstructured":"Nielsen, J.: Usability Engineering. Academic Press, London (1993)"},{"key":"20_CR21","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139062367","volume-title":"Human Error","author":"J. Reason","year":"1990","unstructured":"Reason, J.: Human Error. Cambridge University Press, Cambridge (1990)"},{"key":"20_CR22","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1145\/263407.263505","volume-title":"Proceedings of the 10th Annual ACM Symposium on User interface Software and Technology. UIST 1997","author":"J. Rekimoto","year":"1997","unstructured":"Rekimoto, J.: Pick-and-drop: a direct manipulation technique for multiple computer environments. In: Proceedings of the 10th Annual ACM Symposium on User interface Software and Technology. UIST 1997, Banff, Alberta, Canada, October 14 - 17, 1997, pp. 31\u201339. ACM, New York (1997)"},{"key":"20_CR23","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"371","DOI":"10.1007\/11893004_48","volume-title":"Knowledge-Based Intelligent Information and Engineering Systems","author":"S.A. R\u00edos","year":"2006","unstructured":"R\u00edos, S.A., Vel\u00e1squez, J.D., Yasuda, H., Aoki, T.: Web Site Off-Line Structure Reconfiguration: A Web User Browsing Analysis. In: Gabrys, B., Howlett, R.J., Jain, L.C. (eds.) KES 2006. LNCS (LNAI), vol.\u00a04252, pp. 371\u2013378. Springer, Heidelberg (2006)"},{"key":"20_CR24","volume-title":"Direct manipulation: a step beyond programming languages","author":"B. Shneiderman","year":"1983","unstructured":"Shneiderman, B.: Direct manipulation: a step beyond programming languages, August 1983. IEEE Computer Society Press, Los Alamitos (1983)"},{"doi-asserted-by":"crossref","unstructured":"Summers, S.: Usability in Battle Management System Human-Machine Interface Design: Assessing Compliance with Design Guide Heuristics. In: Human Factors and Ergonomics Society Annual Meeting Proceedings, Computer Systems, pp. 709-713. Human Factors and Ergonomics Society (2007)","key":"20_CR25","DOI":"10.1177\/154193120605000520"},{"issue":"2","key":"20_CR26","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1145\/253671.253708","volume":"40","author":"A. Dam van","year":"1997","unstructured":"van Dam, A.: Post-WIMP user interfaces. Communications of the ACM\u00a040(2), 63\u201367 (1997)","journal-title":"Communications of the ACM"}],"container-title":["Lecture Notes in Computer Science","Interactive Systems. Design, Specification, and Verification"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-70569-7_20.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T00:23:02Z","timestamp":1620001382000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-70569-7_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540705680","9783540705697"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-70569-7_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}