The Community for Technology Leaders
2013 5th International Workshop on Software Engineering in Health Care (SEHC) (2013)
San Francisco, CA, USA
May 20, 2013 to May 21, 2013
ISBN: 978-1-4673-6282-5
TABLE OF CONTENTS

[Front cover] (PDF)

pp. 1-2

Contents (PDF)

pp. 1-2

Committee (PDF)

pp. iii-iv

Software engineering in health care: Is it really different? And how to gain impact (Abstract)

Jens H. Weber-Jahnke , Faculty of Engineering University of Victoria Victoria, BC, Canada
Morgan Price , Faculty of Medicine University of British Columbia Vancouver, BC, Canada
James Williams , Department of Computer Science University of Toronto Toronto, ON, Canada
pp. 1-4

Introducing usability testing in the risk management process in software development (Abstract)

Christin Lindholm , Department of Computer Lund University, Faculty of Engineering, Lund, Sweden
Martin Host , Department of Computer Lund University, Faculty of Engineering, Lund, Sweden
pp. 5-11

An agile V-model for medical device software development to overcome the challenges with plan-driven software development lifecycles (Abstract)

Martin Mc Hugh , RSRC, Dept. of Computing & Mathematics, Dundalk Institute of Technology & Lero, Co. Louth, Ireland
Oisin Cawley , Lero - The Irish Software Engineering Research Centre, University of Limerick, Co. Limerick Ireland
Fergal McCaffcry , RSRC, Dept. of Computing & Mathematics, Dundalk Institute of Technology & Lero, Co. Louth, Ireland
Ita Richardson , Lero - The Irish Software Engineering Research Centre, University of Limerick, Co. Limerick Ireland
Xiaofeng Wang , Free University of Bozen, Bolzano, Italy
pp. 12-19

PolicyForge: A collaborative environment for formalizing privacy policies in health care (Abstract)

Andras Nadas , Institute for Software Integrated Systems Vanderbilt University Nashville, Tennessee 37212, USA
Laszlo Juracz , Institute for Software Integrated Systems Vanderbilt University Nashville, Tennessee 37212, USA
Janos Sztipanovits , Institute for Software Integrated Systems Vanderbilt University Nashville, Tennessee 37212, USA
Mark E. Frisse , Vanderbilt University Medical Center Vanderbilt University Nashville, Tennessee 37212, USA
Ann J. Olsen , Vanderbilt University Medical Center Vanderbilt University Nashville, Tennessee 37212, USA
pp. 20-23

Modal abstraction view of requirements for medical devices used in healthcare processes (Abstract)

Heather M. Conboy , School of Computer Science University of Massachusetts Amherst, Massachusetts 01003
George S. Avrunin , School of Computer Science University of Massachusetts Amherst, Massachusetts 01003
Lori A. Clarke , School of Computer Science University of Massachusetts Amherst, Massachusetts 01003
pp. 24-27

Open source Patient-Controlled Analgesic pump requirements documentation (Abstract)

Brian R. Larson , Kansas State University, Kansas, USA
John Hatcliff , Kansas State University, Kansas, USA
Patrice Chalin , Kansas State University, Kansas, USA
pp. 28-34

Taming complex healthcare data models with dictionary tooling (Abstract)

John T. E. Timm , IBM Almaden Research Center 650 Harry Road San Jose, CA 95120 USA
Joshua Hui , IBM Almaden Research Center 650 Harry Road San Jose, CA 95120 USA
Sarah Knoop , IBM Almaden Research Center 650 Harry Road San Jose, CA 95120 USA
Peter Schwarz , IBM Almaden Research Center 650 Harry Road San Jose, CA 95120 USA
pp. 35-38

Transformation operators for easier engineering of medical process models (Abstract)

Christophe Damas , Université catholique de Louvain (UCL) Louvain-La-Neuve, Belgium
Bernard Lambeau , Université catholique de Louvain (UCL) Louvain-La-Neuve, Belgium
Axel van Lamsweerde , Université catholique de Louvain (UCL) Louvain-La-Neuve, Belgium
pp. 39-45

Proposing regulatory-driven automated test suites for electronic health record systems (Abstract)

Patrick Morrison , Department of Computer Science North Carolina State University Raleigh, NC, USA
Casper Holmgreen , Department of Computer Science North Carolina State University Raleigh, NC, USA
Aaron Massey , Department of Computer Science North Carolina State University Raleigh, NC, USA
Laurie Williams , Department of Computer Science North Carolina State University Raleigh, NC, USA
pp. 46-49

Considerations for online deviation detection in medical processes (Abstract)

Stefan C. Christov , School of Computer Science University of Massachusetts Amherst, MA 01003, USA
George S. Avrunin , School of Computer Science University of Massachusetts Amherst, MA 01003, USA
Lori A. Clarke , School of Computer Science University of Massachusetts Amherst, MA 01003, USA
pp. 50-56

Inferring state for real-time monitoring of care processes (Abstract)

Shirley A. Baffoe , Telfer School of Management University of Ottawa Ottawa, Canada
Aladdin Baarah , School of Electrical Engineering and Computer Science University of Ottawa Ottawa, Canada
Liam Peyton , School of Electrical Engineering and Computer Science University of Ottawa Ottawa, Canada
pp. 57-63

Resource scheduling through resource-aware simulation of emergency departments (Abstract)

Seung Yeob Shin , School of Computer Science, University of Massachusetts, Amherst, MA, USA
Hari Balasubramanian , Department of Industrial Engineering, University of Massachusetts, Amherst, MA, USA
Yuriy Brun , School of Computer Science, University of Massachusetts, Amherst, MA, USA
Philip L. Henneman , Departrnent of Emergency Medicine, Tufts-Baystate Medical Center, Springfield, MA, USA
Leon J. Osterweil , School of Computer Science, University of Massachusetts, Amherst, MA, USA
pp. 64-70

Need for a context-aware personalized health intervention system to ensure long-term behavior change to prevent obesity (Abstract)

Adil Mehmood Khan , Division of Information and Computer Engineering Ajou University Suwon, South Korea 443-749
Seok-Won Lee , Division of Information and Computer Engineering Ajou University Suwon, South Korea 443-749
pp. 71-74

A novel mobile application to assist maternal health workers in rural India (Abstract)

Anutosh Maitra , Accenture Technology Labs Bangalore, India
Nataraj Kuntagod , Accenture Technology Labs Bangalore, India
pp. 75-78

Toward a Care Process Metamodel: For business intelligence healthcare monitoring solutions (Abstract)

Saeed Ahmadi Behnam , Dept. of Electrical Engineering and Computer Science University of Ottawa Ottawa, Canada
Omar Badreddin , Dept. of Electrical Engineering and Computer Science University of Ottawa Ottawa, Canada
pp. 79-85
96 ms
(Ver 3.3 (11022016))