Description |
1 online resource (x, 224 pages) : illustrations |
Series |
Lecture notes in computer science, 1611-3349 ; 7151 |
|
LNCS sublibrary. SL 2, Programming and software engineering |
|
Lecture notes in computer science ; 7151. 1611-3349
|
|
LNCS sublibrary. SL 2, Programming and software engineering.
|
Contents |
Medical Protocol Diagnosis Using Formal Methods / Dominique Méry and Neeraj Kumar Singh -- Form Follows Function: Model-Driven Engineering for Clinical Trials / Jim Davies, Jeremy Gibbons, Radu Calinescu, Charles Crichton and Steve Harris, et al. -- Declarative Modelling and Safe Distribution of Healthcare Workflows / Thomas Hildebrandt, Raghava Rao Mukkamala and Tijs Slaats -- Towards a Formal Integrated Model of Collaborative Healthcare Workflows / Cristiano Bertolini, Martin Schäf and Volker Stolz -- NOVA Workflow: A Workflow Management Tool Targeting Health Services Delivery / Wendy MacCaull and Fazle Rabbi -- Experiences with a Compositional Model Checker in the Healthcare Domain / Jozef Hooman, Robert Huis in 't Veld and Mathijs Schuts -- Model Checking Workflow Monitors and Its Application to a Pain Management Process / Fazle Rabbi, Ahmed Shah Mashiyat and Wendy MacCaull -- Position Paper: Researching and Developing Open Architectures for National Health Information Systems in Developing African Countries / Deshendran Moodley, Anban W. Pillay and Christopher J. Seebregts -- Formalization of Heart Models Based on the Conduction of Electrical Impulses and Cellular Automata / Dominique Méry and Neeraj Kumar Singh -- An Event-B Approach to Timing Issues Applied to the Generic Insulin Infusion Pump / Hao Xu and Tom Maibaum -- On the Safety of Electronic Medical Records / Jens H. Weber-Jahnke and Fieran Mason-Blakley -- Challenges in eHealth: From Enabling to Enforcing Privacy / Naipeng Dong, Hugo Jonker and Jun Pang -- A Technique for Strengthening Weak Passwords in Electronic Medical Record Systems / Samuel Tusubira Kalyango and Gilbert Maiga |
Summary |
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 |
Analysis |
Computer science |
|
computerwetenschappen |
|
computer sciences |
|
Information and Communication Technology (General) |
|
Informatie- en communicatietechnologie (algemeen) |
Bibliography |
Includes bibliographical references and author index |
Notes |
Online resource; title from PDF title page (SpringerLink, viewed August 13, 2012) |
Subject |
Medical informatics -- Congresses
|
|
Informatics
|
|
Information Science
|
|
Medical Informatics
|
|
Informatique.
|
|
Medical informatics
|
Genre/Form |
proceedings (reports)
|
|
Conference papers and proceedings
|
|
Conference papers and proceedings.
|
|
Actes de congrès.
|
Form |
Electronic book
|
Author |
Liu, Zhiming, 1961-
|
|
Wassyng, Alan
|
ISBN |
9783642323553 |
|
3642323553 |
|
3642323545 |
|
9783642323546 |
|