This book constitutes the thoroughly refereed post-conference proceedings of the Third International Symposium on Foundations of Health Information Engineering and Systems, FHIES 2013, held in Macau, China, in August 2013. The 19 revised full papers presented together with 1 invited talk in this volume were carefully reviewed and selected from 22 submissions. The papers are organized in following subjects: panel position statements, pathways, generation and certification, interoperability, patient safety, device safety, formal methods and HIV/AIDS and privacy.

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.

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.

"This reference set provides a complete understanding of the development of applications and concepts in clinical, patient, and hospital information systems"--Provided by publisher.

Previous edition: Health information technology / Nadinia Davis, Melissa LaCour (St. Louis, Mo.: Elsvier/Saunders, c2014).

Health Information Exchange (HIE): Navigating and Managing a Network of Health Information Systems allows health professionals to appropriately access, and securely share, patients' vital medical information electronically, thus improving the speed, quality, safety, and cost of patient care. The book presents foundational knowledge on HIE, covering the broad areas of technology, governance, and policy, providing a concise, yet in-depth, look at HIE that can be used as a teaching tool for universities, healthcare organizations with a training component, certification institutions, and as a tool for self-study for independent learners who want to know more about HIE when studying for certification exams. In addition, it not only provides coverage of the technical, policy, and organizational aspects of HIE, but also touches on HIE as a growing profession. In Part One, the book defines HIE, describing it as an emerging profession within HIT/Informatics. In Part Two, the book provides key information on the policy and governance of HIE, including stakeholder engagement, strategic planning, sustainability, etc. Part Three focuses on the technology behind HIE, defining and describing master person indexes, information infrastructure, interfacing, and messaging, etc. In Part Four, the authors discuss the value of HIE, and how to create and measure it. Finally, in Part Five, the book provides perspectives on the future of HIE, including emerging trends, unresolved challenges, etc. - Offers foundational knowledge on Health Information Exchange (HIE), covering the broad areas of technology, governance, and policy - Focuses on explaining HIE and its complexities in the context of U.S. health reform, as well as emerging health IT activities in foreign nations - Provides a number of in-depth case studies to connect learners to real-world application of the content and lessons from the field - Offers didactic content organization and an increasing complexity through five parts

Health Information Exchange: Navigating and Managing a Network of Health Information Systems, Second Edition, now fully updated, is a practical guide on how to understand, manage and make use of a health information exchange infrastructure, which moves patient-centered information within the health care system. The book informs and guides the development of new infrastructures as well as the management of existing and expanding infrastructures across the globe. Sections explore the reasons for the health information exchange (HIE) infrastructures, how to manage them, examines the key drivers of HIE, and barriers to their widespread use. In addition, the book explains the underlying technologies and methods for conducting HIE across communities as well as nations. Finally, the book explains the principles of governing an organization that chiefly moves protected health information around. The text unravels the complexities of HIE and provides guidance for those who need to access HIE data and support operations. - Encompasses comprehensive knowledge on the technology and governance of health information exchanges (HIEs) - Presents business school style case studies that explore why a given HIE has or hasn't been successful - Discusses the kinds of data and practical examples of the infrastructure required to exchange clinical data to support modern medicine in a world of disparate EHR systems

This book presents real-world examples of formal techniques in an industrial context. It covers formal methods such as SCADE and/or the B Method, in various fields such as railways, aeronautics, and the automotive industry. The purpose of this book is to present a summary of experience on the use of “formal methods” (based on formal techniques such as proof, abstract interpretation and model-checking) in industrial examples of complex systems, based on the experience of people currently involved in the creation and assessment of safety critical system software. The involvement of people from within the industry allows the authors to avoid the usual confidentiality problems which can arise and thus enables them to supply new useful information (photos, architecture plans, real examples, etc.).

Over the past two decades, projects supported by the International Development Research Centre (IDRC) have critically examined the ways in which information and communications technologies (ICTs) can be used to improve learning, empower the disenfranchised, generate income opportunities for the poor, and facilitate access to healthcare in Africa, Asia, Latin America and the Caribbean. Considering that most development institutions and governments are currently attempting to integrate ICTs into their practices, it is an opportune time to reflect on the research findings that have emerged from IDRC’s work and research in this area. “Connecting ICTs to Development” discusses programmatic investments made by IDRC in a wide variety of areas related to ICTs, including infrastructure, access, regulations, health, governance, education, livelihoods, social inclusion, technical innovation, intellectual property rights and evaluation. Each chapter in this book analyzes the ways in which research findings from IDRC-supported projects have contributed to an evolution of thinking, and discusses successes and challenges in using ICTs as tools to address development issues. The volume also presents key lessons learned from ICT4D programming and recommendations for future work.

La mise en place d’un logiciel sans défaut reste primordiale pour plusieurs domaines qui requièrent des applications dites de sécurité comme les transports. La réalisation d’un modèle formel est l’approche la plus efficace pour atteindre l'objectif du zéro défaut, que ce soit en termes de temps ou de maîtrise de la complexité. Ce modèle permet d’analyser et de vérifier le comportement d’un logiciel. Cet ouvrage présente la méthode B, une méthode formelle s’appuyant sur la preuve de propriétés qui, sur la base d’une spécification et de la notion de raffinement, permet d’aller jusqu’à la production automatique de code. Différents outils découlant de cette méthode ainsi que des exemples concrets d’utilisations industrielles de différentes tailles sont aussi exposés dans des domaines tels que l’avionique ou les systèmes manufacturiers.