By Topic

Software Engineering in Health Care (SEHC), 2012 4th International Workshop on

Date 4-5 June 2012

Filter Results

Displaying Results 1 - 15 of 15
  • [Title pages]

    Publication Year: 2012, Page(s):i - ii
    Request permission for commercial reuse | PDF file iconPDF (44 KB)
    Freely Available from IEEE
  • Contents [breaker page]

    Publication Year: 2012, Page(s): 1
    Request permission for commercial reuse | PDF file iconPDF (44 KB)
    Freely Available from IEEE
  • Fourth international workshop on Software Engineering in Health Care (SEHC 2012)

    Publication Year: 2012, Page(s):iii - iv
    Request permission for commercial reuse | PDF file iconPDF (130 KB) | HTML iconHTML
    Freely Available from IEEE
  • A timed model for healthcare workflows based on CSP

    Publication Year: 2012, Page(s):1 - 7
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (320 KB) | HTML iconHTML

    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, ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A case study in interoperable support for collaborative community healthcare

    Publication Year: 2012, Page(s):8 - 14
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (484 KB) | HTML iconHTML

    This paper describes a two year case study in the engineering and deployment of a Clinical Information System (CIS) called Palliative Care Information System (PAL-IS) for managing and monitoring team-based community care of palliative patients. The case study followed the methodology, architecture and ontology proposed in previous work to address workflow, behavioral and technology issues for CIS ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • What is a care pathway?

    Publication Year: 2012, Page(s):15 - 18
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (153 KB) | HTML iconHTML

    This paper argues that it is possible to develop useful generic representations of care pathways, drawing on evidence and argument about clinical teams, about the ability of teams to cope with radical uncertainty and about the influence of institutional arrangements on the journeys that patients take through health systems. The arguments are used to identify a mismatch between current practices in... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Cancer treatment planning: Formal methods to the rescue

    Publication Year: 2012, Page(s):19 - 25
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (265 KB) | HTML iconHTML

    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. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Requirements specification for apps in medical application platforms

    Publication Year: 2012, Page(s):26 - 32
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (513 KB) | HTML iconHTML

    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 me... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Variabilities as first-class elements in product line architectures of homecare systems

    Publication Year: 2012, Page(s):33 - 39
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (493 KB) | HTML iconHTML

    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 me... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Certification and regulatory challenges in medical device software development

    Publication Year: 2012, Page(s):40 - 43
    Cited by:  Papers (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (180 KB) | HTML iconHTML

    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 manufactur... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Introducing safety cases for health IT

    Publication Year: 2012, Page(s):44 - 50
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (398 KB) | HTML iconHTML

    Introduction of IT in the health domain can potentially benefit the quality of the delivered healthcare, also contributing to increase safety. However health IT systems themselves can have safety implications and can result in accidents. Creating a safety case has been in practice in numerous domains and is starting to be adopted in the health IT domain with the most notable example, that of the U... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Engineering the healthcare collaboration space

    Publication Year: 2012, Page(s):51 - 57
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (777 KB) | HTML iconHTML

    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 us... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Creating healthcare training simulations in virtual worlds

    Publication Year: 2012, Page(s):58 - 64
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (744 KB) | HTML iconHTML

    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. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A multi-touch approach to control MRI scans: A user-centered study report

    Publication Year: 2012, Page(s):65 - 68
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (3279 KB) | HTML iconHTML

    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 us... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • From a traditional behavioral management program to an m-health app: Lessons learned in developing m-health apps for existing health care programs

    Publication Year: 2012, Page(s):69 - 72
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1019 KB) | HTML iconHTML

    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 ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.