Menu
Află starea comenzii
Contactați-ne
Carte Software for Dependable Systems Committee on Certifiably Dependable Software Systems

Software for Dependable Systems

Sufficient Evidence?

Autor: Committee on Certifiably Dependable Software Systems, Computer Science and Telecommunications Board, Division on Engineering and Physical Sciences, Na
Limbă: engleză
Legare: Carte broșată
Editura: National Academies Press
Disponibilitate: șansă 50%
Şanse de a obține acest titlu
271.89 lei
The focus of Software for Dependable Systems is a set of fundamental principles that underlie softwa...

Informații despre carte

Autor
Committee on Certifiably Dependable Software Systems, Computer Science and Telecommunications Board, Division on Engineering and Physical Sciences, Na
Limbă
engleză
Legare
Carte - Carte broșată
Publicat
2007
Pagini
148
EAN
9780309103947
ISBN
0309103940
Enbook ID
04578564
Editura
National Academies Press
Greutate
249
Dimensiuni
152 x 229 x 8

Descriere completă

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.

S-ar putea să te intereseze

Fun Felt Crafts: Penny Rugs and Pretty Things from Recycled Wool

Tina Skinner
56.28 lei

Crime and Human Rights

Joachim Savelsberg
146.14 lei

Development and Transformation of Social Welfare NGOs in Hong Kong

Rong Tian
248.47 lei

Instrumental Strength: Thoughts for Students and Pastors...

Charles Stanford
77.49 lei

Clienții care au cumpărat această carte au mai cumpărat și

Easy Classical Duets for Ukulele & Bass

Javier Marco
64.62 lei

Le stylo plume

- Pédagogie Fre
45.82 lei

Sarabande from Cello Suite in D major, BWV 1008 (eBook)

25.52 lei

PREVISIONE DEI BAMBINI SCOMPARSI MEDIANTE ALGORITMI DI APPRENDIMENTO AUTOMATICO

Rama Devi Burri
210.17 lei