{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:02:40Z","timestamp":1725494560958},"publisher-location":"Berlin, Heidelberg","reference-count":39,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540768043"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-76805-0_2","type":"book-chapter","created":{"date-parts":[[2007,11,7]],"date-time":"2007-11-07T04:25:56Z","timestamp":1194409556000},"page":"21-40","source":"Crossref","is-referenced-by-count":4,"title":["Improving Interactive Systems Usability Using Formal Description Techniques: Application to HealthCare"],"prefix":"10.1007","author":[{"given":"Philippe","family":"Palanque","sequence":"first","affiliation":[]},{"given":"Sandra","family":"Basnyat","sequence":"additional","affiliation":[]},{"given":"David","family":"Navarre","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"2_CR1","volume-title":"CHI 1996","author":"J.A. Adolf","year":"1996","unstructured":"Adolf, J.A., Holden, K.L.: Touchscreen usability in microgravity. In: Tauber, M.J. (ed.) CHI 1996. Conference Companion on Human Factors in Computing Systems: Common Ground, ACM Press, New York (1996)"},{"key":"2_CR2","unstructured":"Barboni, E., Navarre, D., Palanque, P., Basnyat, S.: Exploitation of Formal Specification Techniques for ARINC 661 Interactive Cockpit Applications. In: HCI Aero 2006. Proceedings of HCI aero conference, Seatle, USA (September 2006)"},{"issue":"12","key":"2_CR3","doi-asserted-by":"publisher","first-page":"1502","DOI":"10.1016\/j.ress.2006.01.014","volume":"91","author":"S. Basnyat","year":"2006","unstructured":"Basnyat, S., Chozos, N., Palanque, P.: Multidisciplinary perspective on accident investigation. Reliability Engineering & System Safety\u00a091(12), 1502\u20131520 (2006)","journal-title":"Reliability Engineering & System Safety"},{"key":"2_CR4","unstructured":"Basnyat, S., Chozos, N., Johnson, C., Palanque, P.: Redesigning an Interactive Safety-Critical System to Prevent an Accident from Reoccurring. In: 24th European Annual Conference on Human Decision Making and Manual Control (EAM) Organized by the Institute of Communication and Computer Systems, Athens, Greece (October 17-19, 2005)"},{"key":"2_CR5","series-title":"Lecture Notes in Computer Science","volume-title":"ATPN 1999","author":"R. Bastide","year":"1999","unstructured":"Bastide, R., Palanque, P., Sy, O., Le, D.-H., Navarre, D.: Petri Net Based Behavioural Specification of CORBA Systems. In: ATPN 1999. International Conference on Application and Theory of Petri nets. LNCS, Springer, Heidelberg (1999)"},{"key":"2_CR6","doi-asserted-by":"crossref","unstructured":"Bastien, C., Scapin, D.: International Journal of Human-Computer Interaction. \u00a07(2), 105\u2013121 (1995)","DOI":"10.1080\/10447319509526114"},{"key":"2_CR7","unstructured":"Bernonville, S., Leroy, N., Kolski, C., Beuscart-Z\u00e9phir, M.: Explicit combination between Petri Nets and ergonomic criteria: basic principles of the ErgoPNets method. In: EAM 2006. European Annual Conf. on Human Decision-Making and Manual Control, Universitaires de Valenciennes (2006) ISBN 2-905725-87-7"},{"key":"2_CR8","volume-title":"Maturing Usability: Quality in Software, Interaction and Quality","author":"R. Bernhaupt","year":"2007","unstructured":"Bernhaupt, R., Navarre, D., Palanque, P., Winckler, M.: Model-Based Evaluation: A New Way to Support Usability Evaluation of Multimodal Interactive Applications. In: Law, E., Thora Hvannberg, E., Cockton, G. (eds.) Maturing Usability: Quality in Software, Interaction and Quality, Springer, Heidelberg (2007) (Accepted for publication)( to appear)"},{"key":"2_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1007\/3-540-45732-1_4","volume-title":"SafeComp 2002","author":"J. Bredereke","year":"2002","unstructured":"Bredereke, J., Lankenau, A.: A Rigorous View of Mode Confusion. In: Anderson, S., Bologna, S., Felici, M. (eds.) SAFECOMP 2002. LNCS, vol.\u00a02434, pp. 19\u201331. Springer, Heidelberg (2002)"},{"key":"2_CR10","first-page":"57","volume-title":"Proceedings of the IFIP Tc2\/Tc13 Wg2.7\/Wg13.4 Seventh Working Conf. on Engineering For Human-Computer interaction","author":"J. Coutaz","year":"1999","unstructured":"Coutaz, J., B\u00e9rard, F., Carraux, E., Crowley, J.L.: Early Experience with the Mediaspace CoMedi. In: Proceedings of the IFIP Tc2\/Tc13 Wg2.7\/Wg13.4 Seventh Working Conf. on Engineering For Human-Computer interaction, pp. 57\u201372. Kluwer Academic Publishers, Dordrecht (1999)"},{"key":"2_CR11","unstructured":"Fourney, D., Carter, J.: Proceedings of GOTHI-05 Guidelines On Tactile and Haptic Interactions. In: Fourney, D., Carter, J. (eds.) USERLab, Univ. of Saskatchewan (2005), http:\/\/userlab.usask.ca\/GOTHI\/GOTHI-05Proceedings.html"},{"key":"2_CR12","first-page":"16","volume-title":"Proc of ACM CHI 1986","author":"G.W. Furnas","year":"1986","unstructured":"Furnas, G.W.: Generalized Fisheye Views. In: Proc of ACM CHI 1986, pp. 16\u201323. ACM, New York (1986)"},{"issue":"1","key":"2_CR13","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1145\/1039539.1039541","volume":"48","author":"A. Holzinger","year":"2005","unstructured":"Holzinger, A.: Usability Engineering for Software Developers. Communications of the ACM\u00a048(1), 71\u201374 (2005)","journal-title":"Communications of the ACM"},{"key":"2_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"262","DOI":"10.1007\/978-3-540-30111-0_22","volume-title":"User-Centered Interaction Paradigms for Universal Access in the Information Society","author":"A. Holzinger","year":"2004","unstructured":"Holzinger, A., Errath, M.: Designing Web-Applications for Mobile Computers: Experiences with Applications to Medicine. In: Stary, C., Stephanidis, C. (eds.) User-Centered Interaction Paradigms for Universal Access in the Information Society. LNCS, vol.\u00a03196, pp. 262\u2013267. Springer, Heidelberg (2004)"},{"key":"2_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"387","DOI":"10.1007\/3-540-36572-9_30","volume-title":"Universal Access. Theoretical Perspectives, Practice, and Experience","author":"A. Holzinger","year":"2003","unstructured":"Holzinger, A.: Finger Instead of Mouse: Touch Screens as a means of enhancing Universal Access. In: Carbonell, N., Stephanidis, C. (eds.) Universal Access. Theoretical Perspectives, Practice, and Experience. LNCS, vol.\u00a02615, pp. 387\u2013397. Springer, Heidelberg (2003)"},{"key":"2_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"732","DOI":"10.1007\/11788713_107","volume-title":"Computers Helping People with Special Needs","author":"A. Holzinger","year":"2006","unstructured":"Holzinger, A., Sammer, P., Hofmann-Wellenhof, R.: Mobile Computing in Medicine: Designing Mobile Questionnaires for Elderly and Partially Sighted People. In: Miesenberger, K., Klaus, J., Zagler, W., Karshmer, A.I. (eds.) ICCHP 2006. LNCS, vol.\u00a04061, pp. 732\u2013739. Springer, Heidelberg (2006)"},{"key":"2_CR17","volume-title":"Institute of Medicine.Committee on Quality of Health Care in America","author":"L. Kohn","year":"1999","unstructured":"Kohn, L., Corrigan, J., Donaldson, M.: To Err Is Human: Building a Safer Health System. In: Institute of Medicine.Committee on Quality of Health Care in America, National Academy Press, Washington DC (1999)"},{"key":"2_CR18","first-page":"13","volume-title":"ACM Symp User Interface Software and Technology","author":"J. Lamping","year":"1994","unstructured":"Lamping, J., Rao, R.: Laying out and visualizing large trees using a hyperbolic space. In: ACM Symp User Interface Software and Technology, pp. 13\u201314. ACM Press, New York (1994)"},{"key":"2_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"169","DOI":"10.1007\/3-540-44675-3_11","volume-title":"DSV-IS 2000","author":"K. Loer","year":"2001","unstructured":"Loer, K., Harrison, M.: Formal interactive systems analysis and usability inspection methods: Two incompatible worlds? In: Palanque, P., Patern\u00f3, F. (eds.) DSV-IS 2000. LNCS, vol.\u00a01946, pp. 169\u2013190. Springer, Heidelberg (2001)"},{"key":"2_CR20","doi-asserted-by":"crossref","unstructured":"Mackinlay, J.D., Robertson, G.G., Card, S.K.: Perspective Wall: Detail and Context Smoothly Integrated. In: Proceedings of SIGCHI 1991, pp. 173\u2013179 (1991)","DOI":"10.1145\/108844.108870"},{"key":"2_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-73279-2_51","volume-title":"Coping with Diversity in Universal Access, Research and Development Methods in Universal Access","author":"T. Memmel","year":"2007","unstructured":"Memmel, T., Reiterer, H., Holzinger, A.: Agile Methods and Visual Specification in Software Development: a chance to ensure Universal Access. In: Coping with Diversity in Universal Access, Research and Development Methods in Universal Access. LNCS, vol.\u00a04554, Springer, Heidelberg (2007)"},{"key":"2_CR22","doi-asserted-by":"crossref","unstructured":"Mori, G., Patern\u00f2, F., Santoro, C.: CTTE: Support for Developing and Analyzing Task Models for Interactive System Design. IEEE Transactions on Software Engineering\u00a0, 797\u2013813 (August 2002)","DOI":"10.1109\/TSE.2002.1027801"},{"key":"2_CR23","unstructured":"Navarre, D.: Contribution \u00e0 l\u2019ing\u00e9nierie en Interaction Homme Machine - Une technique de description formelle et un environnement pour une mod\u00e9lisation et une exploitation synergiques des t\u00e2ches et du syst\u00e8me. PhD Thesis. Univ. Toulouse I (July 2001)"},{"key":"2_CR24","series-title":"Lecture Notes in Computer Science","volume-title":"DSV-IS 2000","author":"D. Navarre","year":"2001","unstructured":"Navarre, D., Palanque, P., Bastide, R., Sy, O.: Structuring Interactive Systems Specifications for Executability and Prototypability. In: Palanque, P., Patern\u00f3, F. (eds.) DSV-IS 2000. LNCS, vol.\u00a01946, Springer, Heidelberg (2001)"},{"key":"2_CR25","volume-title":"HCI-Aero 2002","author":"D. Navarre","year":"2002","unstructured":"Navarre, D., Palanque, P., Bastide, R.: Reconciling Safety and Usability Concerns through Formal Specification-based Development Process. In: HCI-Aero 2002, MIT Press, USA (2002)"},{"key":"2_CR26","unstructured":"NHS Expert Group on Learning from Adverse Events in the NHS. An organisation with a memory. Technical report, National Health Service, London, United Kingdom (2000), http:\/\/www.doh.gov.uk\/orgmemreport\/index.htm"},{"key":"2_CR27","first-page":"249","volume-title":"Proceedings of CHI 1990","author":"J. Nielsen","year":"1990","unstructured":"Nielsen, J., Molich, R.: Heuristic evaluation of user interfaces. In: Proceedings of CHI 1990, pp. 249\u2013256. ACM, New York (1990)"},{"key":"2_CR28","volume-title":"Usability Inspection Methods","author":"J. Nielsen","year":"1994","unstructured":"Nielsen, J.: Heuristic evaluation. In: Nielsen, J., Mack, R.L. (eds.) Usability Inspection Methods, John Wiley & Sons, New York (1994)"},{"key":"2_CR29","unstructured":"Nielsen, J. (2005) http:\/\/www.useit.com\/papers\/heuristic\/ last accessed 21\/06\/2007"},{"volume-title":"User-Centred System Design: New Perspectives on Human-Computer Interaction","year":"1986","key":"2_CR30","unstructured":"Norman, D.A., Draper, S.W. (eds.): User-Centred System Design: New Perspectives on Human-Computer Interaction. Lawrence Earlbaum Associates, Hillsdale (1986)"},{"key":"2_CR31","unstructured":"Palanque, P., Bastide, R.: Formal specification of HCI for increasing software\u2019s ergonomics. In: ERGONOMICS 1994, Warwick, England, 19-22 April 1994 (1994)"},{"key":"2_CR32","doi-asserted-by":"crossref","unstructured":"Palanque, P., Bernhaupt, R., Navarre, D., Ould, M., Winckler, M.: Supporting Usability Evaluation of Multimodal Man-Machine Interfaces for Space Ground Segment Applications Using Petri net Based Formal Specification. In: Ninth International Conference on Space Operations, Rome, Italy (June 18-22, 2006)","DOI":"10.2514\/6.2006-5657"},{"key":"2_CR33","unstructured":"Palanque, P., Farenc, C., Bastide, R.: Embedding Ergonomic Rules as Generic Requirements in a Formal Development Process of Interactive Software. In: proceedings of IFIP TC 13 Interact 99 conference, Edinburg, Scotland, 1-4 September 1999 (1999)"},{"key":"2_CR34","unstructured":"Palanque, P., Bastide, R., Dourte, L.: Contextual Help for Free with Formal Dialogue Design. In: Proc. of HCI International 93. 5th Int. Conf. on Human-Computer Interaction joint with 9th Symp. on Human Interface (Japan), North Holland (1993)"},{"key":"2_CR35","unstructured":"Pierotti, D.: Heuristic Evaluation - A System Checklist, Xerox Corporation (1995), Available onlineat http:\/\/www.stcsig.org\/usability\/topics\/articles\/he-checklist.html"},{"key":"2_CR36","unstructured":"Scapin, D. L.: Guide ergonomique de conception des interfaces homme-machine (Rapport de Recherche No. 77). INRIA - Rocquencourt \u2013 France (1986)"},{"key":"2_CR37","doi-asserted-by":"crossref","unstructured":"Spence, R., Apperley, M.: Data Base Navigation: An Office Environment for the Professional Behaviour and Information Technology 1(1), 43\u201354 (1982)","DOI":"10.1080\/01449298208914435"},{"key":"2_CR38","unstructured":"Thimbleby, H.: Interaction walkthrough - a method for evaluating interactive systems. In: The XIII International Workshop on Design, Specification and Verification of Interactive Systems, July 26-8, 2006 Trinity College, Dublin(2006)"},{"key":"2_CR39","unstructured":"http:\/\/www.gehealthcare.com\/usen\/patient_mon_sys\/wireless_and_telemetry\/products\/telemetry_sys\/products\/patientnet_centralstation.html"}],"container-title":["Lecture Notes in Computer Science","HCI and Usability for Medicine and Health Care"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-76805-0_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T10:39:28Z","timestamp":1619519968000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-76805-0_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540768043"],"references-count":39,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-76805-0_2","relation":{},"subject":[]}}