Nothing Special   »   [go: up one dir, main page]
Skip to main content
Springer Nature Link
Log in

Foundations of Health Informatics Engineering and Systems

First International Symposium, FHIES 2011, Johannesburg, South Africa, August 29-30, 2011. Revised Selected Papers

  • Conference proceedings
  • © 2012

Overview

Editors:
  1. Zhiming Liu

    1. International Institute for Software Technology, United Nations University, Macao, China

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Alan Wassyng

    1. Centre for Software Certification, McMaster University, Hamilton, Canada

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Fast track conference proceedings
  • State of the art research
  • Up to date results

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

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: FHIES 2011.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

eBook USD 54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 72.00
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

About this book

This book constitutes the thoroughly refereed proceedings of the First International Symposium on Foundations of Health Informatics Engineering and Systems, FHIES 2011, held in Johannesburg, South Africa, in August 2011. The 14 revised full papers presented in this volume were carefully reviewed and selected from 23 submissions. The papers are grouped in topical sections on protocols for diagnosis and clinical trials; modeling workflows; model checking workflows and control systems; interoperability; formal modeling of organs and devices; and safety, security, and privacy of medical records.

Similar content being viewed by others

Keywords

Table of contents (13 papers)

  1. Front Matter

    Download chapter PDF

  2. Protocols for Diagnosis and Clinical Trials

    1. Medical Protocol Diagnosis Using Formal Methods

      • Dominique Méry, Neeraj Kumar Singh
      Pages 1-20

    2. Form Follows Function

      • Jim Davies, Jeremy Gibbons, Radu Calinescu, Charles Crichton, Steve Harris, Andrew Tsui
      Pages 21-38

  3. Modelling Workflows

    1. Declarative Modelling and Safe Distribution of Healthcare Workflows

      • Thomas Hildebrandt, Raghava Rao Mukkamala, Tijs Slaats
      Pages 39-56

    2. Towards a Formal Integrated Model of Collaborative Healthcare Workflows

      • Cristiano Bertolini, Martin Schäf, Volker Stolz
      Pages 57-74

  4. Model Checking Workflows and Control Systems

    1. NOVA Workflow: A Workflow Management Tool Targeting Health Services Delivery

      • Wendy MacCaull, Fazle Rabbi
      Pages 75-92

    2. Experiences with a Compositional Model Checker in the Healthcare Domain

      • Jozef Hooman, Robert Huis in ’t Veld, Mathijs Schuts
      Pages 93-110

    3. Model Checking Workflow Monitors and Its Application to a Pain Management Process

      • Fazle Rabbi, Ahmed Shah Mashiyat, Wendy MacCaull
      Pages 111-128

  5. Interoperability

    1. Position Paper: Researching and Developing Open Architectures for National Health Information Systems in Developing African Countries

      • Deshendran Moodley, Anban W. Pillay, Christopher J. Seebregts
      Pages 129-139

  6. Formal Modelling of Organs and Devices

    1. Formalization of Heart Models Based on the Conduction of Electrical Impulses and Cellular Automata

      • Dominique Méry, Neeraj Kumar Singh
      Pages 140-159

    2. An Event-B Approach to Timing Issues Applied to the Generic Insulin Infusion Pump

      • Hao Xu, Tom Maibaum
      Pages 160-176

  7. Safety, Security, and Privacy of Medical Records

    1. On the Safety of Electronic Medical Records

      • Jens H. Weber-Jahnke, Fieran Mason-Blakley
      Pages 177-194

    2. Challenges in eHealth: From Enabling to Enforcing Privacy

      • Naipeng Dong, Hugo Jonker, Jun Pang
      Pages 195-206

    3. A Technique for Strengthening Weak Passwords in Electronic Medical Record Systems

      • Samuel Tusubira Kalyango, Gilbert Maiga
      Pages 207-224

  8. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Foundations of Health Informatics Engineering and Systems

Editors and Affiliations

  • International Institute for Software Technology, United Nations University, Macao, China

    Zhiming Liu

  • Centre for Software Certification, McMaster University, Hamilton, Canada

    Alan Wassyng

Bibliographic Information

  • Book Title: Foundations of Health Informatics Engineering and Systems

  • Book Subtitle: First International Symposium, FHIES 2011, Johannesburg, South Africa, August 29-30, 2011. Revised Selected Papers

  • Editors: Zhiming Liu, Alan Wassyng

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/978-3-642-32355-3

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Computer Science, Computer Science (R0)

  • Copyright Information: Springer-Verlag Berlin Heidelberg 2012

  • Softcover ISBN: 978-3-642-32354-6Published: 06 July 2012

  • eBook ISBN: 978-3-642-32355-3Published: 11 July 2012

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: X, 225

  • Number of Illustrations: 58 b/w illustrations

  • Topics: Computer Science, general

Publish with us

Policies and ethics

Back to top

Search

Navigation