Amazon cover image
Image from Amazon.com

Foundations of health information engineering and systems : second International Symposium, FHIES 2012, Paris, France, August 27-28, 2012. Revised selected papers / [edited by] Jens Weber, Isabelle Perseil.

By: (2nd : FHIES (Symposium) (2nd : 2012 : Paris, France)Contributor(s): Weber, Jens (Professor of Software Engineering) [editor.] | Perseil, Isabelle [editor.]Material type: TextTextSeries: Serienbezeichnung | Lecture notes in computer science ; 7789. | LNCS sublibrary. SL 2, Programming and software engineering.Publisher: Heidelberg : Springer, [2013]Copyright date: ©2013Description: 1 online resource (x, 221 pages) : illustrationsContent type: text Media type: computer Carrier type: online resourceISBN: 9783642390883; 3642390889Other title: FHIES 2012Subject(s): Medical informatics -- Congresses | Medical Informatics | Informatics | Publication Formats | Publication Characteristics | Information Science | Medical informatics | Computer science | Medical records -- Data processing | Software engineering | Database management | Computer simulation | Information Systems Applications (incl. Internet) | Health Informatics | computerwetenschappen | computer sciences | informatiesystemen | information systems | internet | gezondheid | health | informatica | informatics | simulatiemodellen | simulation models | databasebeheer | Information and Communication Technology (General) | Informatie- en communicatietechnologie (algemeen)Genre/Form: Electronic books. | Congress. | Electronic books. | Ebook. | Conference papers and proceedings. Additional physical formats: Print version:: Foundations of health information engineering and systems. FHIES (Symposium) (2nd : 2012 : Paris, France).DDC classification: 610.285 LOC classification: R858.A2 | .F45 2012NLM classification: W 26.5Online resources: Click here to access online
Contents:
Modelling and Analysis of Flexible Healthcare Processes Based on Algebraic and Recursive Petri Nets / Awatef Hicheur, Amel Ben Dhieb -- Verification of Timed Healthcare Workflows Using Component Timed-Arc Petri Nets / Cristiano Bertolini, Zhiming Liu, Jiří Srba -- Enhancing Product Line Development by Safety Requirements and Verification / Michaela Huhn, Sara Bessling -- Defining New Structural and Mobile Support to Improve Hospital Facilities Access and Usability / Alessandro Carlini, Pierluigi Dalla Rosa -- Regulated Software Development -- An Onerous Transformation / Oisín Cawley, Xiaofeng Wang, Ita Richardson -- An Architecture and Reference Implementation of an Open Health Information Mediator: Enabling Interoperability in the Rwandan Health Information Exchange / Ryan Crichton, Deshendran Moodley -- O wl O nt DB: A Scalable Reasoning System for OWL 2 RL Ontologies with Large ABoxes / Rokan Uddin Faruqui, Wendy MacCaull -- Trustworthy Pervasive Healthcare Services via Multiparty Session Types / Anders S. Henriksen, Lasse Nielsen -- A Grid Based Distributed Cooperative Environment for Health Care Research / Felipe Maia, Rafael Araújo -- Closed-Loop Modeling of Cardiac Pacemaker and Heart / Dominique Méry, Neeraj Kumar Singh -- Model-Based Solution for Controlling Physiology / Elthon Oliveira, Leandro Silva -- Automated Reviewing of Healthcare Security Policies / Nafees Qamar, Johannes Faber, Yves Ledru -- A Formal Diagrammatic Approach to Compensable Workflow Modelling / Adrian Rutle, Hao Wang, Wendy MacCaull -- Towards Generic MDE Support for Extracting Purpose-Specific Healthcare Models from Annotated, Unstructured Texts / Pieter Van Gorp, Irene Vanderfeesten.
Summary: This book constitutes the thoroughly refereed post-conference proceedings of the Second International Symposium on Foundations of Health Information Engineering and Systems, FHIES 2012, held in Paris, France, in August 2012. The 11 revised full papers presented together with 3 short papers in this volume were carefully reviewed and selected from 26 submissions. Topics of interest covered in this volume are such as software engineering; systems engineering; data engineering; applied mathematics; and psychology.
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Collection Call number Status Date due Barcode Item holds
eBook eBook e-Library

Electronic Book@IST

EBook Available
Total holds: 0

Includes author index.

Modelling and Analysis of Flexible Healthcare Processes Based on Algebraic and Recursive Petri Nets / Awatef Hicheur, Amel Ben Dhieb -- Verification of Timed Healthcare Workflows Using Component Timed-Arc Petri Nets / Cristiano Bertolini, Zhiming Liu, Jiří Srba -- Enhancing Product Line Development by Safety Requirements and Verification / Michaela Huhn, Sara Bessling -- Defining New Structural and Mobile Support to Improve Hospital Facilities Access and Usability / Alessandro Carlini, Pierluigi Dalla Rosa -- Regulated Software Development -- An Onerous Transformation / Oisín Cawley, Xiaofeng Wang, Ita Richardson -- An Architecture and Reference Implementation of an Open Health Information Mediator: Enabling Interoperability in the Rwandan Health Information Exchange / Ryan Crichton, Deshendran Moodley -- O wl O nt DB: A Scalable Reasoning System for OWL 2 RL Ontologies with Large ABoxes / Rokan Uddin Faruqui, Wendy MacCaull -- Trustworthy Pervasive Healthcare Services via Multiparty Session Types / Anders S. Henriksen, Lasse Nielsen -- A Grid Based Distributed Cooperative Environment for Health Care Research / Felipe Maia, Rafael Araújo -- Closed-Loop Modeling of Cardiac Pacemaker and Heart / Dominique Méry, Neeraj Kumar Singh -- Model-Based Solution for Controlling Physiology / Elthon Oliveira, Leandro Silva -- Automated Reviewing of Healthcare Security Policies / Nafees Qamar, Johannes Faber, Yves Ledru -- A Formal Diagrammatic Approach to Compensable Workflow Modelling / Adrian Rutle, Hao Wang, Wendy MacCaull -- Towards Generic MDE Support for Extracting Purpose-Specific Healthcare Models from Annotated, Unstructured Texts / Pieter Van Gorp, Irene Vanderfeesten.

This book constitutes the thoroughly refereed post-conference proceedings of the Second International Symposium on Foundations of Health Information Engineering and Systems, FHIES 2012, held in Paris, France, in August 2012. The 11 revised full papers presented together with 3 short papers in this volume were carefully reviewed and selected from 26 submissions. Topics of interest covered in this volume are such as software engineering; systems engineering; data engineering; applied mathematics; and psychology.

Print version record.

Powered by Koha