SEHC 2012 – Proceedings

2012 4th International Workshop on Software Engineering in Health Care (SEHC), June 4–5, 2012, Zurich, Switzerland

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

Preface

Title Page
Article: icsews12sehcforeword-fm000-p doi:

Foreword
Article: icsews12sehcforeword-fm001-p doi:

Medical Workflows and Processes

A Timed Model for Healthcare Workflows Based on CSP
Johannes Faber
(United Nations University, China)
Article: icsews12sehc-id10-p 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 doi:

What Is a Care Pathway?
Justin Keen
(University of Leeds, UK)
Article: icsews12sehc-id4-p 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 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 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 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 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 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 doi:

Creating Healthcare Training Simulations in Virtual Worlds
David Chodos, Lucio Gutierrez, and Eleni Stroulia
(University of Alberta, Canada)
Article: icsews12sehc-id18-p 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 doi: