عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
شابک
شابک
9401042438
شابک
9401105499
شابک
9789401042437
شابک
9789401105491
شماره کتابشناسی ملی
شماره
b594682
عنوان و نام پديدآور
عنوان اصلي
Achieving quality software :
نام عام مواد
[Book]
ساير اطلاعات عنواني
including its application to safety-related systems
نام نخستين پديدآور
David J. Smith ; with a foreword by Paul W. Banks.
وضعیت ویراست
وضعيت ويراست
3rd ed
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
[Dordrecht]
نام ناشر، پخش کننده و غيره
Springer
تاریخ نشرو بخش و غیره
©1995.
مشخصات ظاهری
نام خاص و کميت اثر
(x, 285 pages :) : illustrations
يادداشت کلی
متن يادداشت
Originally published by Chapman & Hall, 1995.
یادداشتهای مربوط به مندرجات
متن يادداشت
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.
یادداشتهای مربوط به خلاصه یا چکیده
متن يادداشت
The third edition of the highly successful Achieving Quality Software provides a concise and readable description of the main quality issues which arise in the use of software, particularly in safety-related applications. Current safety principles are described using the `safety life-cycle'. A full picture of current guidance and standards is given. The traditional methods used to enhance software quality are detailed and their limitations emphasized. Tools and techniques are fully explained. Documentation control, languages and programming standards, review, test, static analysis and fault tolerance are all covered. Moreover, formal mathematical methods are addressed, with examples, and their benefits and limitations are explained; the controversial areas of metrics and failure rate measurement are outlined; comprehensive checklists and a case study are provided, together with a glossary and bibliography; a fully worked example of source code static analysis is provided. Achieving Quality Software is suitable for all engineers involved with programmable safety-related systems, especially hardware design engineers and software engineers. Not only quality and design engineers in software-related organizations, but graduate students on software and safety and reliability courses will find this book invaluable.
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Computer software -- Quality control.
موضوع مستند نشده
Software engineering.
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
David J. Smith ; with a foreword by Paul W. Banks.
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
David J Smith
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
