Book Description
This important and timely book contains vital information for all developers working with C, whether in high-integrity areas or not, who need to produce reliable and effective software.
Author : Les Hatton
Publisher : McGraw-Hill Companies
Page : 264 pages
File Size : 29,58 MB
Release : 1995
Category : Computers
ISBN :
This important and timely book contains vital information for all developers working with C, whether in high-integrity areas or not, who need to produce reliable and effective software.
Author : Vladimir Kushnir
Publisher : "O'Reilly Media, Inc."
Page : 141 pages
File Size : 17,37 MB
Release : 2012-06-06
Category : Computers
ISBN : 1449320937
This book contains discussion of some of the most typical mistakes made by programmers in C++ and also some recipes for how to avoid each of these mistakes.
Author : Robert C. Seacord
Publisher : No Starch Press
Page : 273 pages
File Size : 43,42 MB
Release : 2020-08-11
Category : Computers
ISBN : 1718501056
A detailed introduction to the C programming language for experienced programmers. The world runs on code written in the C programming language, yet most schools begin the curriculum with Python or Java. Effective C bridges this gap and brings C into the modern era--covering the modern C17 Standard as well as potential C2x features. With the aid of this instant classic, you'll soon be writing professional, portable, and secure C programs to power robust systems and solve real-world problems. Robert C. Seacord introduces C and the C Standard Library while addressing best practices, common errors, and open debates in the C community. Developed together with other C Standards committee experts, Effective C will teach you how to debug, test, and analyze C programs. You'll benefit from Seacord's concise explanations of C language constructs and behaviors, and from his 40 years of coding experience. You'll learn: How to identify and handle undefined behavior in a C program The range and representations of integers and floating-point values How dynamic memory allocation works and how to use nonstandard functions How to use character encodings and types How to perform I/O with terminals and filesystems using C Standard streams and POSIX file descriptors How to understand the C compiler's translation phases and the role of the preprocessor How to test, debug, and analyze C programs Effective C will teach you how to write professional, secure, and portable C code that will stand the test of time and help strengthen the foundation of the computing world.
Author : Charles Vincent
Publisher : Springer
Page : 170 pages
File Size : 30,36 MB
Release : 2016-01-13
Category : Medical
ISBN : 3319255592
The authors of this book set out a system of safety strategies and interventions for managing patient safety on a day-to-day basis and improving safety over the long term. These strategies are applicable at all levels of the healthcare system from the frontline to the regulation and governance of the system. There have been many advances in patient safety, but we now need a new and broader vision that encompasses care throughout the patient’s journey. The authors argue that we need to see safety through the patient’s eyes, to consider how safety is managed in different contexts and to develop a wider strategic and practical vision in which patient safety is recast as the management of risk over time. Most safety improvement strategies aim to improve reliability and move closer toward optimal care. However, healthcare will always be under pressure and we also require ways of managing safety when conditions are difficult. We need to make more use of strategies concerned with detecting, controlling, managing and responding to risk. Strategies for managing safety in highly standardised and controlled environments are necessarily different from those in which clinicians constantly have to adapt and respond to changing circumstances. This work is supported by the Health Foundation. The Health Foundation is an independent charity committed to bringing about better health and health care for people in the UK. The charity’s aim is a healthier population in the UK, supported by high quality health care that can be equitably accessed. The Foundation carries out policy analysis and makes grants to front-line teams to try ideas in practice and supports research into what works to make people’s lives healthier and improve the health care system, with a particular emphasis on how to make successful change happen. A key part of the work is to make links between the knowledge of those working to deliver health and health care with research evidence and analysis. The aspiration is to create a virtuous circle, using what works on the ground to inform effective policymaking and vice versa. Good health and health care are vital for a flourishing society. Through sharing what is known, collaboration and building people’s skills and knowledge, the Foundation aims to make a difference and contribute to a healthier population.
Author : Nancy G. Leveson
Publisher : MIT Press
Page : 555 pages
File Size : 13,89 MB
Release : 2012-01-13
Category : Science
ISBN : 0262297302
A new approach to safety, based on systems thinking, that is more effective, less costly, and easier to use than current techniques. Engineering has experienced a technological revolution, but the basic engineering techniques applied in safety and reliability engineering, created in a simpler, analog world, have changed very little over the years. In this groundbreaking book, Nancy Leveson proposes a new approach to safety—more suited to today's complex, sociotechnical, software-intensive world—based on modern systems thinking and systems theory. Revisiting and updating ideas pioneered by 1950s aerospace engineers in their System Safety concept, and testing her new model extensively on real-world examples, Leveson has created a new approach to safety that is more effective, less expensive, and easier to use than current techniques. Arguing that traditional models of causality are inadequate, Leveson presents a new, extended model of causation (Systems-Theoretic Accident Model and Processes, or STAMP), then shows how the new model can be used to create techniques for system safety engineering, including accident analysis, hazard analysis, system design, safety in operations, and management of safety-critical systems. She applies the new techniques to real-world events including the friendly-fire loss of a U.S. Blackhawk helicopter in the first Gulf War; the Vioxx recall; the U.S. Navy SUBSAFE program; and the bacterial contamination of a public water supply in a Canadian town. Leveson's approach is relevant even beyond safety engineering, offering techniques for “reengineering” any large sociotechnical system to improve safety and manage risk.
Author : Stuart Anderson
Publisher : Springer
Page : 444 pages
File Size : 41,20 MB
Release : 2003-10-02
Category : Computers
ISBN : 3540398783
Edinburgh, the Scottish capital, hosted SAFECOMP 2003. Since its establishment, SAFECOMP, the series of conferences on Computer Safety, Reliability and Security, has contributed to the progress of the state of the art in dependable applications of computer systems. SAFECOMP provides ample opportunity to exchange insights and experiences in emerging methods across the borders of different disciplines. SAFECOMP year after year registers new multidisciplinary trends on dependability of computer-based systems. The cross-fertilization between different scientific communities and industry supports the achievement of long-term results contributing to the integration of multidisciplinary experiences in order to improve the design and deployment of dependable computer-based systems. Over the years the participation of industry in SAFECOMP has grown steadily. This emphasizes the importance of technology transfer between academia and industry. SAFECOMP 2003 further sustains the healthy interchange of research results and practical experiences. The SAFECOMP 2003 program consisted of 30 papers selected from 96 submissions from all over the world. SAFECOMP 2003 acknowledges the invited keynote talks enhancing the technical and scientific merit of the conference.
Author : Institute of Medicine
Publisher : National Academies Press
Page : 312 pages
File Size : 44,24 MB
Release : 2000-03-01
Category : Medical
ISBN : 0309068371
Experts estimate that as many as 98,000 people die in any given year from medical errors that occur in hospitals. That's more than die from motor vehicle accidents, breast cancer, or AIDSâ€"three causes that receive far more public attention. Indeed, more people die annually from medication errors than from workplace injuries. Add the financial cost to the human tragedy, and medical error easily rises to the top ranks of urgent, widespread public problems. To Err Is Human breaks the silence that has surrounded medical errors and their consequenceâ€"but not by pointing fingers at caring health care professionals who make honest mistakes. After all, to err is human. Instead, this book sets forth a national agendaâ€"with state and local implicationsâ€"for reducing medical errors and improving patient safety through the design of a safer health system. This volume reveals the often startling statistics of medical error and the disparity between the incidence of error and public perception of it, given many patients' expectations that the medical profession always performs perfectly. A careful examination is made of how the surrounding forces of legislation, regulation, and market activity influence the quality of care provided by health care organizations and then looks at their handling of medical mistakes. Using a detailed case study, the book reviews the current understanding of why these mistakes happen. A key theme is that legitimate liability concerns discourage reporting of errorsâ€"which begs the question, "How can we learn from our mistakes?" Balancing regulatory versus market-based initiatives and public versus private efforts, the Institute of Medicine presents wide-ranging recommendations for improving patient safety, in the areas of leadership, improved data collection and analysis, and development of effective systems at the level of direct patient care. To Err Is Human asserts that the problem is not bad people in health careâ€"it is that good people are working in bad systems that need to be made safer. Comprehensive and straightforward, this book offers a clear prescription for raising the level of patient safety in American health care. It also explains how patients themselves can influence the quality of care that they receive once they check into the hospital. This book will be vitally important to federal, state, and local health policy makers and regulators, health professional licensing officials, hospital administrators, medical educators and students, health caregivers, health journalists, patient advocatesâ€"as well as patients themselves. First in a series of publications from the Quality of Health Care in America, a project initiated by the Institute of Medicine
Author : Tibor Gyimothy
Publisher : Springer Science & Business Media
Page : 372 pages
File Size : 32,60 MB
Release : 1996-04-03
Category : Computers
ISBN : 9783540610533
This book presents the refereed proceedings of the Sixth International Conference on Compiler Construction, CC '96, held in Linköping, Sweden in April 1996. The 23 revised full papers included were selected from a total of 57 submissions; also included is an invited paper by William Waite entitled "Compiler Construction: Craftsmanship or Engineering?". The book reports the state of the art in the area of theoretical foundations and design of compilers; among the topics addressed are program transformation, software pipelining, compiler optimization, program analysis, program inference, partial evaluation, implementational aspects, and object-oriented compilers.
Author : Andreas Podelski
Publisher : Springer
Page : 456 pages
File Size : 12,80 MB
Release : 2018-08-28
Category : Computers
ISBN : 3319997254
This book constitutes the refereed proceedings of the 25th International Static Analysis Symposium, SAS 2018, held in Freiburg, Germany, in August 2018. The 18 papers presented in this volume were carefully reviewed and selected from 37 submissions. The contributions cover a variety of multi-disciplinary topics in abstract domains: program verication, bug detection, compiler optimization, program understanding, and software maintenance.
Author : Michael Welschenbach
Publisher : Apress
Page : 481 pages
File Size : 36,98 MB
Release : 2017-01-11
Category : Computers
ISBN : 1430250992
This book covers everything you need to know to write professional-level cryptographic code. This expanded, improved second edition includes about 100 pages of additional material as well as numerous improvements to the original text. The chapter about random number generation has been completely rewritten, and the latest cryptographic techniques are covered in detail. Furthermore, this book covers the recent improvements in primality testing.