Cantitate/Preț
Produs

Achieving Quality Software: Including Its Application to Safety-Related Systems

Autor D. J. Smith
en Limba Engleză Paperback – 10 noi 2012
The rapid growth in use of programmable technology, in nearly all sectors of Engineering, is a well-known established trend and one which there is every reason to believe will continue into the foreseeable future. The drivers of this trend include cost, flexibility, rich functionality and certain reliability and safety advantages. However, as explained in this book, these advantages have to be carefully weighed against a number of dis­ advantages which, amongst other things, have fundamental implications for reliability and safety. Ideally, a programmable system would be viewed as a fusion of hardware, software and user (or 'skinware'), operating under a set of environmental conditions. To date, such a unifying model does not exist and so hardware, software and human factors are still considered largely as three separate disciplines, albeit with certain interdependencies. Established techniques are available which enable the engineer to develop systems comprising purely hardware components to a prescribed reliability and performance. Software, however, is fundamentally different in a number of ways, and does not lend itself to equivalent analysis. A major problem with software is its poor 'visibility', and consequently the great difficulty in understanding and predicting its behaviour in all cir­ cumstances. This results in the ever-present software design flaws, or 'bugs', which have plagued the software industry from its beginnings.
Citește tot Restrânge

Preț: 38852 lei

Nou

Puncte Express: 583

Preț estimativ în valută:
7435 8074$ 6246£

Carte tipărită la comandă

Livrare economică 22 aprilie-06 mai

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9789401042437
ISBN-10: 9401042438
Pagini: 304
Ilustrații: XIII, 287 p.
Dimensiuni: 155 x 235 x 16 mm
Greutate: 0.43 kg
Ediția:3rd ed. 1995. Softcover reprint of the original 3rd ed. 1995
Editura: SPRINGER NETHERLANDS
Colecția Springer
Locul publicării:Dordrecht, Netherlands

Public țintă

Research

Cuprins

One The Background to Software Engineering and Quality.- 1 The meaning of quality in software.- 2 Software failures and the life cycle.- 3 Integrity and the safety life cycle.- Two Guidance, Legislation and Liability.- 4 Legislation and liability.- 5 Current standards and guidelines.- 6 Certification and competence.- Three Achieving Software Quality.- 7 The traditional approach.- 8 Formal methods in requirements.- 9 Formal methods in design.- 10 Review and test.- 11 Static analysis.- 12 Languages and processors.- 13 Achieving fault tolerance in design.- Four Management Issues.- 14 Software management issues.- 15 Metrics and modelling.- Five Case Study.- 16 Software system design exercise — addressable detection system.- Appendix 1 Checklists.- Appendix 2 Glossary of terms and abbreviations.- Appendix 3 Bibliography and references.

Notă biografică

David J. Smith, past Chairman of the Safety and Reliability Society is the author of six successful works on reliability, quality, software and statistics. He has been directly associated with this branch of engineering, in the process and telecommunications industries, for over 20 years and is well known for his courses and workshops on these subjects. He currently runs his own consultancy.