发布求助
文献互助 智能选刊 最新文献

2012 4th International Workshop on Software Engineering in Health Care (SEHC)最新文献

筛选
英文 中文
Variabilities as first-class elements in product line architectures of homecare systems 可变性是家庭护理系统产品线架构中的头等元素
2012 4th International Workshop on Software Engineering in Health Care (SEHC) Pub Date : 2012-06-04 DOI: 10.5555/2667036.2667042
S. T. Carvalho, Leonardo Gresta Paulino Murta, O. Loques
{"title":"Variabilities as first-class elements in product line architectures of homecare systems","authors":"S. T. Carvalho, Leonardo Gresta Paulino Murta, O. Loques","doi":"10.5555/2667036.2667042","DOIUrl":"https://doi.org/10.5555/2667036.2667042","url":null,"abstract":"A homecare system should adapt to changes regarding the patient needs and to variations in the residential environment. This requires a software architecture designed to support customizations before the deployment (static variability) and changes during the system operation (dynamic variability). We present a comprehensive approach in which both kinds of variabilities are seamless described by means of contracts, which are first-class elements associated with a Product Line architecture. To demonstrate the proposed approach, we present a dynamic contract developed to support a context-aware patient reminder application.","PeriodicalId":254295,"journal":{"name":"2012 4th International Workshop on Software Engineering in Health Care (SEHC)","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-06-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126523995","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 13
A multi-touch approach to control MRI scans: A user-centered study report 多点触控方法控制MRI扫描:以用户为中心的研究报告
2012 4th International Workshop on Software Engineering in Health Care (SEHC) Pub Date : 2012-06-04 DOI: 10.1109/SEHC.2012.6227007
Tulio de Souza Alcantara, P. Bastianelli, Jennifer Ferreira, F. Maurer
{"title":"A multi-touch approach to control MRI scans: A user-centered study report","authors":"Tulio de Souza Alcantara, P. Bastianelli, Jennifer Ferreira, F. Maurer","doi":"10.1109/SEHC.2012.6227007","DOIUrl":"https://doi.org/10.1109/SEHC.2012.6227007","url":null,"abstract":"This paper reports on a study investigating the usability challenges faced by users of Magnetic Resonance Imaging (MRI) tools. In order to understand these problems, observation, shadowing and interviews were conducted with MRI scan users at two centers. After analyzing the collected data, low-fidelity prototypes were created and evaluated. We addressed the usability issues found by proposing a user-friendly and efficient high-fidelity prototype that replaces keyboard and mouse with two multi-touch screens.","PeriodicalId":254295,"journal":{"name":"2012 4th International Workshop on Software Engineering in Health Care (SEHC)","volume":"143 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-06-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123145527","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 4
Certification and regulatory challenges in medical device software development 医疗设备软件开发中的认证和监管挑战
2012 4th International Workshop on Software Engineering in Health Care (SEHC) Pub Date : 2012-06-04 DOI: 10.1109/SEHC.2012.6227011
Nadica Hrgarek
{"title":"Certification and regulatory challenges in medical device software development","authors":"Nadica Hrgarek","doi":"10.1109/SEHC.2012.6227011","DOIUrl":"https://doi.org/10.1109/SEHC.2012.6227011","url":null,"abstract":"The critical nature of safety in medical device software requires a repeatable and compliant software engineering process. This process should take into account the whole development life cycle, risk management, and software verification and validation activities that would commensurate with the device's complexity and risk. This paper discusses some of the key challenges medical device manufacturers are facing in the development and certification of medical device software. These challenges include: compliance with the EU and US regulatory requirements for medical device software, making software development and maintenance processes more agile in the medical device regulatory environment, integrating usability engineering process/human factors into software development, regulation of networked medical devices and mobile medical applications (apps). The MED-EL case study highlights some of the challenges described in this paper, and the approaches taken to overcome these challenges.","PeriodicalId":254295,"journal":{"name":"2012 4th International Workshop on Software Engineering in Health Care (SEHC)","volume":"46 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-06-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124019625","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 23
What is a care pathway? 什么是护理途径?
2012 4th International Workshop on Software Engineering in Health Care (SEHC) Pub Date : 2012-06-04 DOI: 10.1007/978-3-642-34059-8_3
J. Keen
{"title":"What is a care pathway?","authors":"J. Keen","doi":"10.1007/978-3-642-34059-8_3","DOIUrl":"https://doi.org/10.1007/978-3-642-34059-8_3","url":null,"abstract":"","PeriodicalId":254295,"journal":{"name":"2012 4th International Workshop on Software Engineering in Health Care (SEHC)","volume":"4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-06-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124357369","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 6
Engineering the healthcare collaboration space 设计医疗保健协作空间
2012 4th International Workshop on Software Engineering in Health Care (SEHC) Pub Date : 2012-06-04 DOI: 10.5555/2667036.2667045
C. Kuziemsky, J. Weber, James Bryan Williams
{"title":"Engineering the healthcare collaboration space","authors":"C. Kuziemsky, J. Weber, James Bryan Williams","doi":"10.5555/2667036.2667045","DOIUrl":"https://doi.org/10.5555/2667036.2667045","url":null,"abstract":"Healthcare delivery is highly collaborative work. Designing information and communication technologies to support collaboration is challenging due to the complex and dynamic nature of the healthcare collaboration space. In this paper we introduce `collaboration engineering' as a method for engineering the collaboration space that integrates Intentional Modeling and Interaction Design Theory. We use existing work to identify a set of intentions that define the healthcare collaboration space. We then use a case study to illustrate how our method would be used for engineering the healthcare collaboration space.","PeriodicalId":254295,"journal":{"name":"2012 4th International Workshop on Software Engineering in Health Care (SEHC)","volume":"18 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-06-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122840233","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 6
Requirements specification for apps in medical application platforms 医疗应用平台中应用程序的要求规范
2012 4th International Workshop on Software Engineering in Health Care (SEHC) Pub Date : 2012-06-04 DOI: 10.1109/SEHC.2012.6227013
Brian R. Larson, J. Hatcliff, Sam Procter, Patrice Chalin
{"title":"Requirements specification for apps in medical application platforms","authors":"Brian R. Larson, J. Hatcliff, Sam Procter, Patrice Chalin","doi":"10.1109/SEHC.2012.6227013","DOIUrl":"https://doi.org/10.1109/SEHC.2012.6227013","url":null,"abstract":"Existing regulatory agency guidance documents and process standards for medical devices (i.e., IEC 62304) generally consider medical devices to be stand-alone monolithic systems. The format and content of a system requirements document largely follows that of conventional embedded safety-critical systems. However, a vision is emerging of a new paradigm of medical system based on the notion of a medical application platform (MAP). A MAP is a safety- and security-critical real-time computing platform for (a) integrating heterogeneous devices, medical IT systems, and information displays via a communication infrastructure and (b) hosting application programs (i.e., apps) that provide medical utility via the ability to both acquire information from and update/control integrated devices, IT systems, and displays. To ensure a regulatory pathway for MAPs, it is necessary to adapt traditional development processes and artifacts to the specific characteristics of MAP architectures and constituent components. In this paper, we provide an initial proposal for developing and formatting requirements for MAP apps. For illustration, we consider an app that implements two “smart alarms” for pulse oximetry monitoring in a clinical context.","PeriodicalId":254295,"journal":{"name":"2012 4th International Workshop on Software Engineering in Health Care (SEHC)","volume":"325 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-06-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123308104","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 13
A timed model for healthcare workflows based on CSP 基于CSP的医疗保健工作流的定时模型
2012 4th International Workshop on Software Engineering in Health Care (SEHC) Pub Date : 2012-06-04 DOI: 10.1109/SEHC.2012.6227002
Johannes Faber
{"title":"A timed model for healthcare workflows based on CSP","authors":"Johannes Faber","doi":"10.1109/SEHC.2012.6227002","DOIUrl":"https://doi.org/10.1109/SEHC.2012.6227002","url":null,"abstract":"In order to precisely analyze healthcare workflows, we examine how healthcare workflows can be modeled and verified with an elementary and concise timed CSP extension. To avoid considering healthcare workflows in isolation, we investigate the usage of our CSP dialect for formally modeling workflows alongside the instruction model of the openEHR specification set, which is a general, maintainable, and interoperable approach to electronic health records. Hence, we present a CSP model for openEHR instructions, which allows timed reasoning, and also integrates a basic notion of data and undefinedness. We show that this CSP dialect is suited to verify important properties of healthcare workflows, like workflow consistency, checking against timed specifications, and resource scheduling.","PeriodicalId":254295,"journal":{"name":"2012 4th International Workshop on Software Engineering in Health Care (SEHC)","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-06-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125640114","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 6
Creating healthcare training simulations in virtual worlds 在虚拟世界中创建医疗保健培训模拟
2012 4th International Workshop on Software Engineering in Health Care (SEHC) Pub Date : 2012-06-04 DOI: 10.1109/SEHC.2012.6227008
David Chodos, L. Gutiérrez, Eleni Stroulia
{"title":"Creating healthcare training simulations in virtual worlds","authors":"David Chodos, L. Gutiérrez, Eleni Stroulia","doi":"10.1109/SEHC.2012.6227008","DOIUrl":"https://doi.org/10.1109/SEHC.2012.6227008","url":null,"abstract":"Virtual worlds offer a rich, flexible platform for creating immersive, interactive training simulations. In this paper, we describe two different platforms that rely on the same virtual world (OpenSim) to deliver different types of simulation-based learning experiences for health professionals.","PeriodicalId":254295,"journal":{"name":"2012 4th International Workshop on Software Engineering in Health Care (SEHC)","volume":"146 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-06-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125771708","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
From a traditional behavioral management program to an m-health app: Lessons learned in developing m-health apps for existing health care programs 从传统的行为管理程序到移动健康应用程序:为现有的医疗保健程序开发移动健康应用程序的经验教训
2012 4th International Workshop on Software Engineering in Health Care (SEHC) Pub Date : 2012-06-04 DOI: 10.1109/SEHC.2012.6227006
Qing Zhu, Chang Liu, K. Holroyd
{"title":"From a traditional behavioral management program to an m-health app: Lessons learned in developing m-health apps for existing health care programs","authors":"Qing Zhu, Chang Liu, K. Holroyd","doi":"10.1109/SEHC.2012.6227006","DOIUrl":"https://doi.org/10.1109/SEHC.2012.6227006","url":null,"abstract":"M-health applications provide a unique new way to deliver healthcare. Developing m-health applications involves new challenges different from those encountered when developing traditional healthcare programs and e-health applications. This paper describes the development of an m-health application for behavioral migraine management, and presents lessons learned during the development process from software engineers' perspective.","PeriodicalId":254295,"journal":{"name":"2012 4th International Workshop on Software Engineering in Health Care (SEHC)","volume":"32 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-06-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131333820","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 15
Cancer treatment planning: Formal methods to the rescue
2012 4th International Workshop on Software Engineering in Health Care (SEHC) Pub Date : 2012-06-04 DOI: 10.1109/SEHC.2012.6227014
J. Mathe, J. Sztipanovits, M. Levy, Ethan K. Jackson, Wolfram Schulte
{"title":"Cancer treatment planning: Formal methods to the rescue","authors":"J. Mathe, J. Sztipanovits, M. Levy, Ethan K. Jackson, Wolfram Schulte","doi":"10.1109/SEHC.2012.6227014","DOIUrl":"https://doi.org/10.1109/SEHC.2012.6227014","url":null,"abstract":"This paper describes the ongoing development of ATTENTION, a new kind of clinical decision support system for synthesizing and managing longitudinal treatment plans, such as cancer treatment plans. ATTENTION combines stateof- the-art formal modeling and constraint solving with clinical information systems to synthesize complex cancer treatment plans that are also executable.","PeriodicalId":254295,"journal":{"name":"2012 4th International Workshop on Software Engineering in Health Care (SEHC)","volume":"38 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-06-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127636287","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 6
下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：481959085
Book学术官方微信