{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:02:56Z","timestamp":1725494576695},"publisher-location":"Berlin, Heidelberg","reference-count":26,"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_3","type":"book-chapter","created":{"date-parts":[[2007,11,7]],"date-time":"2007-11-07T04:25:56Z","timestamp":1194409556000},"page":"41-54","source":"Crossref","is-referenced-by-count":1,"title":["Using Formal Specification Techniques for Advanced Counseling Systems in Health Care"],"prefix":"10.1007","author":[{"given":"Dominikus","family":"Herzberg","sequence":"first","affiliation":[]},{"given":"Nicola","family":"Marsden","sequence":"additional","affiliation":[]},{"given":"Corinna","family":"Leonhardt","sequence":"additional","affiliation":[]},{"given":"Peter","family":"K\u00fcbler","sequence":"additional","affiliation":[]},{"given":"Hartmut","family":"Jung","sequence":"additional","affiliation":[]},{"given":"Sabine","family":"Thomanek","sequence":"additional","affiliation":[]},{"given":"Annette","family":"Becker","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"5","key":"3_CR1","first-page":"371","volume":"36","author":"G. Andrews","year":"2007","unstructured":"Andrews, G.: ClimateGP \u2013 web based patient education. Australian Family Physician\u00a036(5), 371\u2013372 (2007)","journal-title":"Australian Family Physician"},{"issue":"1","key":"3_CR2","first-page":"1","volume":"15","author":"T. Benson","year":"2007","unstructured":"Benson, T.: Prevention of errors and user alienation in healthcare IT integration programmes. Informatics in Primary Care\u00a015(1), 1\u20137 (2007)","journal-title":"Informatics in Primary Care"},{"issue":"5","key":"3_CR3","doi-asserted-by":"publisher","first-page":"1127","DOI":"10.2337\/dc06-2101","volume":"30","author":"D. Bu","year":"2007","unstructured":"Bu, D., Pan, E., Walker, J., Adler-Milstein, J., Kendrick, D., Hook, J.M., Cusack, C., Bates, D.W., Middleton, B.: Benefits of Information Technology-Enabled Diabetes Management. Diabetes Care\u00a030(5), 1127\u20131142 (2007)","journal-title":"Diabetes Care"},{"key":"3_CR4","doi-asserted-by":"publisher","first-page":"457","DOI":"10.1145\/1124772.1124840","volume-title":"CHI 2006","author":"S. Consolvo","year":"2006","unstructured":"Consolvo, S., Everitt, K., Smith, I., Landay, J.L.: Design Requirements for Technologies that Encourage Physical Activity. In: CHI 2006, pp. 457\u2013466. ACM Press, New York (2006)"},{"key":"3_CR5","volume-title":"Persuasive Technology: Using Computers to Change What We Think and Do","author":"B.J. Fogg","year":"2003","unstructured":"Fogg, B.J.: Persuasive Technology: Using Computers to Change What We Think and Do. Morgan Kaufmann Publishers, San Francisco (2003)"},{"key":"3_CR6","unstructured":"Garrett, J.J.: The Elements of User Experience: User-Centered Design for the Web. New Riders (2003)"},{"issue":"12","key":"3_CR7","doi-asserted-by":"publisher","first-page":"1440","DOI":"10.1001\/archinte.163.12.1440","volume":"163","author":"E.W. Gregg","year":"2003","unstructured":"Gregg, E.W., Gerzoff, R.B., Caspersen, C.J., Williamson, D.F., Narayan, K.M.: Relationship of walking to mortality among US adults with diabetes. Arch. Intern. Med.\u00a0163(12), 1440\u20131447 (2003)","journal-title":"Arch. Intern. Med."},{"key":"3_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1007\/3-540-45491-8_8","volume-title":"ICCHP 2002","author":"A. Holzinger","year":"2002","unstructured":"Holzinger, A.: User-Centered Interface Design for Disabled and Elderly People: First Experiences with Designing a Patient Communication System (PACOSY). In: Miesenberger, K., Klaus, J., Zagler, W. (eds.) ICCHP 2002. LNCS, vol.\u00a02398, pp. 33\u201340. Springer, Heidelberg (2002)"},{"issue":"1","key":"3_CR9","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1145\/1039539.1039541","volume":"48","author":"A. Holzinger","year":"2005","unstructured":"Holzinger, A.: Usability Engineering Methods for Software Developers. Communication of the ACM\u00a048(1), 71\u201374 (2005)","journal-title":"Communication of the ACM"},{"key":"3_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"732","DOI":"10.1007\/11788713_107","volume-title":"ICCHP 2006","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)"},{"issue":"1","key":"3_CR11","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1145\/1127564.1127569","volume":"84","author":"R. Hubert","year":"2006","unstructured":"Hubert, R.: Accessibility and usability guidelines for mobile devices in home health monitoring. SIGACCESS Access. Comput.\u00a084(1), 26\u201329 (2006)","journal-title":"SIGACCESS Access. Comput."},{"issue":"2","key":"3_CR12","first-page":"90","volume":"52","author":"K. Karmisholt","year":"2005","unstructured":"Karmisholt, K., G\u00f8tzsche, P.C.: Physical activity for secondary prevention of disease. Dan. Med. Bull.\u00a052(2), 90\u201394 (2005)","journal-title":"Dan Med Bull"},{"key":"3_CR13","doi-asserted-by":"publisher","first-page":"1013","DOI":"10.1145\/1125451.1125645","volume-title":"CHI 2006","author":"G. Lee","year":"2006","unstructured":"Lee, G., Tsai, C., Griswold, W.G., Raab, F., Patrick, K.: PmEB: A Mobile Phone Application for Monitoring Caloric Balance. In: CHI 2006, pp. 1013\u20131018. ACM Press, New York (2006)"},{"key":"3_CR14","volume-title":"Concurrency \u2013 State Models and Java Programs","author":"J. Magee","year":"2006","unstructured":"Magee, J., Kramer, J.: Concurrency \u2013 State Models and Java Programs, 2nd edn. Wiley, Chichester (2006)","edition":"2"},{"issue":"5","key":"3_CR15","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1622\/1059-8405(2006)022[0269:AOASIF]2.0.CO;2","volume":"22","author":"L.M. Mauriello","year":"2006","unstructured":"Mauriello, L.M., Driskell, M.M., Sherman, K.J., Johnson, S.S., Prochaska, J.M., Prochaska, J.O.: Acceptability of a school-based intervention for the prevention of adolescent obesity. Journal of School Nursing\u00a022(5), 269\u2013277 (2006)","journal-title":"Journal of School Nursing"},{"key":"3_CR16","doi-asserted-by":"crossref","unstructured":"Murray, E., Burns, J., See Tai, S., Lai, R., Nazareth, I.: Interactive Health Communication Applications for people with chronic disease. Cochrane Database Syst. Rev.\u00a0CD004274 (4) (2005)","DOI":"10.1002\/14651858.CD004274.pub4"},{"issue":"1","key":"3_CR17","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1023\/A:1021053027926","volume":"27","author":"D. Nicholas","year":"2003","unstructured":"Nicholas, D., Huntington, P., Williams, P.: Delivering Consumer Health Information Digitally: A Comparison Between the Web and Touchscreen Kiosk. Journal of Medical Systems\u00a027(1), 13\u201334 (2003)","journal-title":"Journal of Medical Systems"},{"key":"3_CR18","doi-asserted-by":"crossref","unstructured":"Ortiz-Cornejo, A.I., Cuayahuitl, H., Perez-Corona, C.: WISBuilder: A Framework for Facilitating Development of Web-Based Information Systems. In: Conielecomp 2006. Proceedings of the 16th International Conference on Electronics, Communications and Computers vol.00 (February 27 - March 01, 2006)","DOI":"10.1109\/CONIELECOMP.2006.65"},{"key":"3_CR19","doi-asserted-by":"crossref","unstructured":"Peipert, J., Redding, C.A., Blume, J., Allsworth, J.E., Iannuccillo, K., Lozowski, F., Mayer, K., Morokoff, P.J., Rossi, J.S.: Design of a stage-matched intervention trial to increase dual method contraceptive use (Project PROTECT). Contemporary Clinical Trials, Epub ahead of print (2007) doi:10.1016\/j.cct.2007.01.012","DOI":"10.1016\/j.cct.2007.01.012"},{"issue":"2","key":"3_CR20","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1016\/S0749-3797(02)00441-5","volume":"23","author":"B.M. Pinto","year":"2002","unstructured":"Pinto, B.M., Friedman, R., Marcus, B.H., Kelley, H., Tennstedt, S., Gillman, M.W.: Effects of a computer-based, telephone-counseling system on physical activity. American Journal of Preventive Medicine\u00a023(2), 113\u2013120 (2002)","journal-title":"American Journal of Preventive Medicine"},{"issue":"1","key":"3_CR21","doi-asserted-by":"crossref","first-page":"38","DOI":"10.4278\/0890-1171-12.1.38","volume":"12","author":"J.O. Prochaska","year":"1997","unstructured":"Prochaska, J.O., Velicer, W.F.: Behavior Change. The Transtheoretical Model of Health Behavior Change. American Journal of Health Promotion\u00a012(1), 38\u201348 (1997)","journal-title":"American Journal of Health Promotion"},{"key":"3_CR22","doi-asserted-by":"publisher","first-page":"1867","DOI":"10.1145\/1125451.1125804","volume-title":"CHI 2006","author":"J.M. Silva","year":"2006","unstructured":"Silva, J.M., Zamarripa, S., Moran, E.B., Tentori, M., Galicia, L.: Promoting a Healthy Lifestyle Through a Virtual Specialist Solution. In: CHI 2006, pp. 1867\u20131872. ACM Press, New York (2006)"},{"key":"3_CR23","doi-asserted-by":"publisher","first-page":"2657","DOI":"10.1145\/1240866.1241058","volume-title":"CHI 2007","author":"V. Singh","year":"2007","unstructured":"Singh, V., Mathew, A.P.: WalkMSU: an intervention to motivate physical activity in university students. In: CHI 2007, pp. 2657\u20132662. ACM Press, New York (2007)"},{"key":"3_CR24","doi-asserted-by":"publisher","first-page":"2663","DOI":"10.1145\/1240866.1241059","volume-title":"CHI 2007","author":"M. Sohn","year":"2007","unstructured":"Sohn, M., Lee, J.: UP health: ubiquitously persuasive health promotion with an instant messaging system. In: CHI 2007, pp. 2663\u20132668. ACM Press, New York (2007)"},{"issue":"10","key":"3_CR25","doi-asserted-by":"publisher","first-page":"682","DOI":"10.1016\/j.amjmed.2004.01.009","volume":"116","author":"R.S. Taylor","year":"2004","unstructured":"Taylor, R.S., Brown, A., Ebrahim, S., Jolliffe, J., Noorani, H., Rees, K., et al.: Exercise-based rehabilitation for patients with coronary heart disease: systematic review and meta-analysis of randomized controlled trials. Am. J. Med.\u00a0116(10), 682\u2013692 (2004)","journal-title":"Am. J. Med."},{"key":"3_CR26","doi-asserted-by":"publisher","first-page":"1873","DOI":"10.1145\/1125451.1125805","volume-title":"CHI 2006","author":"T. Toscos","year":"2006","unstructured":"Toscos, T., Faber, A., An, S., Gandhi, M.P.: Click Clique: Persuasive Technology to Motivate Teenage Girls to Exercise. In: CHI 2006, pp. 1873\u20131878. ACM Press, New York (2006)"}],"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_3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T10:39:35Z","timestamp":1619519975000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-76805-0_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540768043"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-76805-0_3","relation":{},"subject":[]}}