Software Engineering in Health Care

4th International Symposium, FHIES 2014, and 6th International Workshop, SEHC 2014, Washington, DC, USA, July 17-18, 2014, Revised Selected Papers

  • Michaela Huhn
  • Laurie Williams
Conference proceedings SEHC 2014, FHIES 2014

Part of the Lecture Notes in Computer Science book series (LNCS, volume 9062)

Also part of the Programming and Software Engineering book sub series (LNPSE, volume 9062)

Table of contents

  1. Front Matter
    Pages I-X
  2. José Antonio Esparza Isasa, Peter Gorm Larsen, Finn Overgaard Hansen
    Pages 44-63
  3. Lian Duan, Sanjai Rayadurgam, Mats P. E. Heimdahl, Anaheed Ayoub, Oleg Sokolsky, Insup Lee
    Pages 64-80
  4. Olukunle A. Ogundele, Deshendran Moodley, Christopher J. Seebregts, Anban W. Pillay
    Pages 81-95
  5. Anitha Murugesan, Mats P. E. Heimdahl, Michael W. Whalen, Sanjai Rayadurgam, John Komp, Lian Duan et al.
    Pages 96-112
  6. Michael D. Harrison, Paolo Masci, Jose Creissac Campos, Paul Curzon
    Pages 113-128
  7. Alegria Baquero, Richard N. Taylor
    Pages 129-144
  8. Bernard Lambeau, Christophe Damas, Axel van Lamsweerde
    Pages 145-161
  9. Pillar Mata, Craig Kuziemsky, Jaspreet Singh, Aladdin Baarah, Liam Peyton
    Pages 162-177
  10. Jens H. Weber, Craig Kuziemsky
    Pages 178-193
  11. Fieran Mason-Blakley, Jens Weber, Abdul Roudsari, Morgan Price
    Pages 194-213
  12. Paolo Masci, Patrick Oladimeji, Paul Curzon, Harold Thimbleby
    Pages 214-221
  13. Nafees Qamar, Yilong Yang, Andras Nadas, Zhiming Liu, Janos Sztipanovits
    Pages 222-238
  14. Back Matter
    Pages 239-239

About these proceedings


This book constitutes revised selected papers from the jointly held conferences FHIES 2014, 4th International Symposium on Foundations of Health Information Engineering and Systems, and SEHC 2014, 6th International Workshop on Software Engineering in Health Care. The meeting took place in Washington, DC, USA, in July 2014. 

The 16 papers presented in this volume were carefully reviewed and selected from 23 submissions. They deal with security aspects of health information systems; medical devices in cyberphysical systems; the process of providing healthcare and of monitoring patients; and patient safety and the assurance of medical systems. 


software engineering semantics data security privacy model checking human-computer interaction software assurance telemedicine patient monitoring

Editors and affiliations

  • Michaela Huhn
    • 1
  • Laurie Williams
    • 2
  1. 1.TU ClausthalClausthal-ZellerfeldGermany
  2. 2.North Carolina State UniversityRaleighUSA

Bibliographic information