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. Th...
Saved in:
| Corporate Author: | |
|---|---|
| Other Authors: | , , |
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Washington, D.C. :
National Academies Press,
©2007.
|
| Subjects: | |
| Online Access: |
Full text (MFA users only) |
| ISBN: | 9780309667388 0309667380 1280941448 9781280941443 9786610941445 6610941440 0309179297 9780309179294 |
| Local Note: | ProQuest Ebook Central |
MARC
| LEADER | 00000cam a2200000ua 4500 | ||
|---|---|---|---|
| 001 | m4045669 | ||
| 005 | 20250425213017.0 | ||
| 006 | m o d | ||
| 007 | cr cn||||||||| | ||
| 008 | 070706s2007 dcua ob 000 0 eng d | ||
| 010 | |a 2008531001 | ||
| 019 | |a 174031116 |a 181340962 |a 290478995 |a 473977046 |a 475647550 |a 647663850 |a 667084632 |a 814502912 |a 923277140 |a 961521181 |a 962719302 |a 988417539 |a 992086541 |a 1018197639 |a 1037505916 |a 1037937535 |a 1038631043 |a 1045532847 |a 1058028889 |a 1062923493 |a 1083554486 |a 1153520517 |a 1156338837 |a 1162245019 |a 1228577212 |a 1249254795 |a 1290077184 |a 1300631179 |a 1392115359 | ||
| 020 | |a 9780309667388 |q (electronic bk.) | ||
| 020 | |a 0309667380 |q (electronic bk.) | ||
| 020 | |a 1280941448 | ||
| 020 | |a 9781280941443 | ||
| 020 | |z 0309103940 | ||
| 020 | |z 9780309103947 | ||
| 020 | |a 9786610941445 | ||
| 020 | |a 6610941440 | ||
| 020 | |a 0309179297 | ||
| 020 | |a 9780309179294 | ||
| 035 | |a (OCoLC)567827789 |z (OCoLC)174031116 |z (OCoLC)181340962 |z (OCoLC)290478995 |z (OCoLC)473977046 |z (OCoLC)475647550 |z (OCoLC)647663850 |z (OCoLC)667084632 |z (OCoLC)814502912 |z (OCoLC)923277140 |z (OCoLC)961521181 |z (OCoLC)962719302 |z (OCoLC)988417539 |z (OCoLC)992086541 |z (OCoLC)1018197639 |z (OCoLC)1037505916 |z (OCoLC)1037937535 |z (OCoLC)1038631043 |z (OCoLC)1045532847 |z (OCoLC)1058028889 |z (OCoLC)1062923493 |z (OCoLC)1083554486 |z (OCoLC)1153520517 |z (OCoLC)1156338837 |z (OCoLC)1162245019 |z (OCoLC)1228577212 |z (OCoLC)1249254795 |z (OCoLC)1290077184 |z (OCoLC)1300631179 |z (OCoLC)1392115359 | ||
| 035 | |a (OCoLC)ocn567827789 | ||
| 040 | |a CCO |b eng |e pn |c CCO |d E7B |d OCLCQ |d COD |d DKDLA |d IDEBK |d CU3 |d N$T |d YDXCP |d OCLCQ |d OCLCO |d OCLCQ |d OCLCO |d OCLCQ |d OCLCO |d EBLCP |d DEBSZ |d OCLCO |d OCLCQ |d OCLCO |d AZK |d OCLCO |d AGLDB |d CNNOR |d MOR |d PIFBR |d ZCU |d OCLCQ |d MERUC |d OCLCQ |d U3W |d YDX |d BUF |d OCLCF |d BRL |d STF |d WRM |d OCLCQ |d VTS |d CEF |d ICG |d NRAMU |d EZ9 |d VT2 |d AU@ |d OCLCQ |d WYU |d G3B |d TKN |d A6Q |d DKC |d OCLCQ |d M8D |d UKAHL |d OCLCQ |d UKCRE |d VLY |d AJS |d DST |d OCLCO |d OCLCQ |d INARC |d OCLCO |d OCLCL | ||
| 050 | 4 | |a QA76.76.R44 |b N35 2007eb | |
| 072 | 7 | |a REF |x 000000 |2 bisacsh | |
| 072 | 7 | |a U |2 bicssc | |
| 082 | 0 | 4 | |a 005 |2 22 |
| 110 | 2 | |a National Research Council (U.S.). |b Committee on Certifiably Dependable Software Systems. | |
| 245 | 1 | 0 | |a Software for dependable systems : |b sufficient evidence? / |c Daniel Jackson, Martyn Thomas, and Lynette I. Millett, eds. ; Committee on Certifiably Dependable Software Systems, Computer Science and Telecommunications Board, Division on Engineering and Physical Sciences, National Research Council of the National Academies. |
| 260 | |a Washington, D.C. : |b National Academies Press, |c ©2007. | ||
| 300 | |a 1 online resource (xv, 131 pages) : |b illustrations | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 347 | |a data file |2 rda | ||
| 504 | |a Includes bibliographical references (pages 110-116). | ||
| 505 | 0 | |a Assessment : software systems and dependability today -- Proposed approach -- Broader issues -- Findings and recommendations. | |
| 520 | |a "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."--Publisher's website. | ||
| 546 | |a English. | ||
| 588 | 0 | |a Print version record. | |
| 590 | |a ProQuest Ebook Central |b Ebook Central Academic Complete | ||
| 650 | 0 | |a Computer software |x Reliability. | |
| 650 | 0 | |a Software engineering. | |
| 650 | 0 | |a Systems software |x Reliability. | |
| 655 | 0 | |a Computer network resources. | |
| 700 | 1 | |a Jackson, Daniel. | |
| 700 | 1 | |a Millett, Lynette I. | |
| 700 | 1 | |a Thomas, Martyn. | |
| 758 | |i has work: |a Software for dependable systems (Text) |1 https://id.oclc.org/worldcat/entity/E39PCFXgwywCMbrR9y8PTpkTBP |4 https://id.oclc.org/worldcat/ontology/hasWork | ||
| 776 | 0 | 8 | |i Print version: |a National Research Council (U.S.). Committee on Certifiably Dependable Software Systems. |t Software for dependable systems. |d Washington, D.C. : National Academies Press, ©2007 |z 9780309103947 |w (DLC) 2008531001 |w (OCoLC)153582473 |
| 951 | |a 4045669 | ||
| 999 | f | f | |i 300394f2-53d2-5d28-9de8-8dd5b9046ad3 |s b2bc41b1-c1f6-5e2e-8099-626266b6ec32 |t 0 |
| 952 | f | f | |a Museum of Fine Arts |b Museum of Fine Arts |c MFA Library |d Electronic Collection |t 0 |e ProQuest |h Other scheme |
| 856 | 4 | 0 | |t 0 |u https://ebookcentral.proquest.com/lib/mfa/detail.action?docID=3378266 |y Full text (MFA users only) |