ICSE 2012 Workshops
2012 34th International Conference on Software Engineering (ICSE)
Powered by
Conference Publishing Consulting
2012 4th International Workshop on Software Engineering in Health Care (SEHC), June 4–5, 2012, Zurich, Switzerland

SEHC 2012 – Proceedings

 Contents - Abstracts - Authors

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

Preface

Title Page
Article: icsews12sehcforeword-fm000-p (type: Frontmatter) doi:
Foreword
Article: icsews12sehcforeword-fm001-p (type: Frontmatter) doi:

Medical Workflows and Processes

A Timed Model for Healthcare Workflows Based on CSP
Johannes Faber
(United Nations University, China)
Article: icsews12sehc-id10-p (type: Research Paper (7 pages)) doi:
A Case Study in Interoperable Support for Collaborative Community Healthcare
Liam Peyton, Craig E. Kuziemsky, and Dishant Langayan
(University of Ottawa, Canada)
Article: icsews12sehc-id11-p (type: Clinical Case Study (7 pages)) doi:
What Is a Care Pathway?
Justin Keen
(University of Leeds, UK)
Article: icsews12sehc-id4-p (type: Short paper (4 pages)) doi:

Architectures for Leveraging Integrated Medical Systems

Cancer Treatment Planning: Formal Methods to the Rescue
Janos Mathe, Janos Sztipanovits, Mia Levy, Ethan K. Jackson, and Wolfram Schulte
(Vanderbilt University, USA; Microsoft Research, USA)
Article: icsews12sehc-id17-p (type: Research Paper (7 pages)) doi:
Requirements Specification for Apps in Medical Application Platforms
Brian Larson, John Hatcliff, Samuel Procter, and Patrice Chalin
(Kansas State University, USA)
Article: icsews12sehc-id19-p (type: Research Paper (7 pages)) doi:
Variabilities as First-Class Elements in Product Line Architectures of Homecare Systems
Sergio T. Carvalho, Leonardo Murta, and Orlando Loques
(Universidade Federal Fluminense, Brazil; Universidade Federal de Goiás, Brazil)
Article: icsews12sehc-id15-p (type: Research Paper (7 pages)) doi:

Engineering Safety Critical Medical Systems

Certification and Regulatory Challenges in Medical Device Software Development
Nadica Hrgarek
(MED-EL Medical Electronics, Austria)
Article: icsews12sehc-id20-p (type: Short paper (4 pages)) doi:

Health Information Technology

Introducing Safety Cases for Health IT
George Despotou, Tim Kelly, Sean White, and Mark Ryan
(University of York, UK; National Health Service, UK; Rotheram NHS Foundation Trust, UK)
Article: icsews12sehc-id12-p (type: Research Paper (7 pages)) doi:
Engineering the Healthcare Collaboration Space
Craig E. Kuziemsky, Jens Weber-Jahnke, and James Williams
(University of Ottawa, Canada; University of Victoria, Canada)
Article: icsews12sehc-id7-p (type: Research Paper (7 pages)) doi:
Creating Healthcare Training Simulations in Virtual Worlds
David Chodos, Lucio Gutierrez, and Eleni Stroulia
(University of Alberta, Canada)
Article: icsews12sehc-id18-p (type: Research Paper (7 pages)) doi:

Devices and Applications

A Multi-touch Approach to Control MRI Scans: A User-Centered Study Report
Tulio de Souza Alcantara, Pierre Bastianelli, Jennifer Ferreira, and Frank Maurer
(University of Calgary, Canada)
Article: icsews12sehc-id13-p (type: Tool Paper (4 pages)) doi:
From a Traditional Behavioral Management Program to an M-Health App: Lessons Learned in Developing M-Health Apps for Existing Health Care Programs
Qing Zhu, Chang Liu, and Kenneth A. Holroyd
(Ohio University, USA)
Article: icsews12sehc-id6-p (type: Short paper (4 pages)) doi:

proc time: 0.01