Skip to content
Scan a barcode
Scan
Added to your cart
Paperback Software for Dependable Systems: Sufficient Evidence? Book

ISBN: 0309103940

ISBN13: 9780309103947

Software for Dependable Systems: Sufficient Evidence?

The focus of Software for Dependable Systems is a set of fundamental principles that underlie software system dependability and that suggest a different approach to the development and assessment of dependable software.

Unfortunately, it is difficult to assess the dependability of software. The field of software engineering suffers from a pervasive lack of evidence about the incidence and severity of software failures; about the dependability of existing software systems; about the efficacy of existing and proposed development methods; about the benefits of certification schemes; and so on. There are many anecdotal reports, which--although often useful for indicating areas of concern or highlighting promising avenues of research--do little to establish a sound and complete basis for making policy decisions regarding dependability. The committee regards claims of extraordinary dependability that are sometimes made on this basis for the most critical of systems as unsubstantiated, and perhaps irresponsible. This difficulty regarding the lack of evidence for system dependability leads to two conclusions: (1) that better evidence is needed, so that approaches aimed at improving the dependability of software can be objectively assessed, and (2) that, for now, the pursuit of dependability in software systems should focus on the construction and evaluation of evidence.

The committee also recognized the importance of adopting the practices that are already known and used by the best developers; this report gives a sample of such practices. Some of these (such as systematic configuration management and automated regression testing) are relatively easy to adopt; others (such as constructing hazard analyses and threat models, exploiting formal notations when appropriate, and applying static analysis to code) will require new training for many developers. However valuable, though, these practices are in themselves no silver bullet, and new techniques and methods will be required in order to build future software systems to the level of dependability that will be required.

Recommended

Format: Paperback

Temporarily Unavailable

1 person is interested in this title.

We receive 1 copy every 6 months.

More by National Research Council
The Black Family Reunion Cookbook: Recipes and Food Memories
The Black Family Reunion Cookbook: Recipes and Food Memories
National Research Council

from: $5.29

Celebrating Our Mothers' Kitchens: Treasured Memories and Tested Recipes
Celebrating Our Mothers' Kitchens: Treasured Memories and Tested Recipes
National Research Council

from: $4.49

From Neurons to Neighborhoods : The Science of Early Childhood Development
From Neurons to Neighborhoods : The Science of Early Childhood Development
Committee on Integrating the Science of, National Research Council, Committee on Integrating the Science of Early Childhood Development, and Families Board on Children, Youth

from: $6.09

A Framework for K-12 Science Education: Practices, Crosscutting Concepts, and Core Ideas
A Framework for K-12 Science Education: Practices, Crosscutting Concepts, and Core Ideas
Committee on Conceptual Framework for th, National Research Council, Board on Science Education, Division of Behavioral and Social Sciences and Education

from: $7.39

Elevation Data for Floodplain Mapping
Elevation Data for Floodplain Mapping
National Research Council, Board on Earth Sciences and Resources, Division on Earth and Life Studies

from: $5.29

Educating Children With Autism
Educating Children With Autism
National Research Council, Catherine Lord, Committee on Educational Interventions f, Committee on Educational Interventions for Children with Autism

from: $6.69

Adding It Up: Helping Children Learn Mathematics
Adding It Up: Helping Children Learn Mathematics
National Research Council, Division of Behavioral and Social Sciences and Education, Center for Education

from: $5.99

Principles and Standards for School Mathematics
Principles and Standards for School Mathematics
National Research Council

from: $5.59

Guide for the Care and Use of Laboratory Animals: Eighth Edition
Guide for the Care and Use of Laboratory Animals: Eighth Edition
Institute of Laboratory Animal Research, Commission on Life Sciences, National Research Council

from: $4.79

Nsc Advanced First Aid, CPR & AED Textbo
Nsc Advanced First Aid, CPR & AED Textbo
National Research Council

from: $5.49

Lost Crops of Africa: Grains (Lost Crops of Africa Vol. I)
Lost Crops of Africa: Grains (Lost Crops of Africa Vol. I)
National Research Council, Office of International Affairs, Policy and Global Affairs

from: $13.29

Knowing What Students Know: The Science and Design of Educational Assessment
Knowing What Students Know: The Science and Design of Educational Assessment
Center for Education, National Research Council, Committee on the Foundations of Assessment, Board on Testing and Assessment, James W. Pellegrino, Robert Glaser, Natl Academy Press, Naomi Chudowsky

from: $6.69

Developing Essential Understanding of Multiplication and Division for Teaching Mathematics in Grades 3-5
Developing Essential Understanding of Multiplication and Division for Teaching Mathematics in Grades 3-5
National Research Council

from: $8.29

NCSF Advanced Concepts of Personal Training Study Guide
NCSF Advanced Concepts of Personal Training Study Guide
National Research Council

from: $4.79

Alternative Agriculture
Alternative Agriculture
National Research Council, Board on Agriculture, Committee on the Role of Alternative Far

from: $4.49

Wilderness First Aid: Emergency Care for Remote Locations
Wilderness First Aid: Emergency Care for Remote Locations
Wilderness Medical Society Staff, National Research Council, Wilderness Medical Society

from: $5.69

Teaching About Evolution and the Nature of Science
Teaching About Evolution and the Nature of Science
National Academy of Sciences, Working Group on Teaching Evolution, Board on Science Education, National Research Council, U.S. National Academy of Sciences

from: $6.49

The Evaluation of Forensic DNA Evidence
The Evaluation of Forensic DNA Evidence
National Research Council, Commission on Life Sciences, Committee on DNA Forensic Science an Upd, Division on Earth and Life Studies

from: $5.59

Understanding Child Abuse and Neglect
Understanding Child Abuse and Neglect
National Research Council, Division of Behavioral and Social Sciences and Education, Commission on Behavioral and Social Sciences and Education

from: $7.49

Focus in High School Mathematics: Statistics and Probability
Focus in High School Mathematics: Statistics and Probability
National Research Council, Mike Shaughnessy

from: $6.59

Prudent Practices in the Laboratory
Prudent Practices in the Laboratory
Committee on Prudent Practices for Handling Storage and Disposal of Chemicals in Laboratories, National Research Council

from: $5.09

Inclusive Language Lectionary Year B: Readings for Year B
Inclusive Language Lectionary Year B: Readings for Year B
National Research Council

from: $5.89

The NSTA Reader's Guide to A Framework for K 12 Science Education, Expanded Edition: Practices, Crosscutting Concepts, and Core Ideas - PB326X
The NSTA Reader's Guide to A Framework for K 12 Science Education, Expanded Edition: Practices, Crosscutting Concepts, and Core Ideas - PB326X
National Research Council, Harold Pratt

from: $13.39

Professional Standards for Teaching Mathematics
Professional Standards for Teaching Mathematics
National Research Council, Nctm Commission on Teaching Standards Fo, National Council of Teachers of Mathemat

from: $3.99

Customer Reviews

customer rating | review
There are currently no reviews. Be the first to review this work.
Copyright © 2025 Thriftbooks.com Terms of Use | Privacy Policy | Do Not Sell/Share My Personal Information | Cookie Policy | Cookie Preferences | Accessibility Statement
ThriftBooks ® and the ThriftBooks ® logo are registered trademarks of Thrift Books Global, LLC
GoDaddy Verified and Secured