- 5 Results
Lowest price: € 11.59, highest price: € 110.97, average price: € 36.16
1
Toward Zero Defect Programming - Allan M. Stavely
Order
at Orellfuessli.ch
CHF 27.90
(aprox. € 25.91)
Shipment: € 16.721
OrderSponsored link
Allan M. Stavely:

Toward Zero Defect Programming - Paperback

1998, ISBN: 9780201385953

This book describes current methods for writing (nearly) bug-free programs. These methods are based on practices developed at IBM and elsewhere under the name Cleanroom Software Engineeri… More...

Nr. 858730. Shipping costs:Lieferzeiten außerhalb der Schweiz 3 bis 21 Werktage, , wird besorgt, Lieferzeit unbekannt, zzgl. Versandkosten. (EUR 16.72)
2
Toward Zero Defect Programming - Allan M.  Stavely
Order
at BetterWorldBooks.com
€ 16.50
OrderSponsored link

Allan M. Stavely:

Toward Zero Defect Programming - used book

ISBN: 9780201385953

This book describes current software-engineering methods for writing (nearly) bug-free programs. These methods are based on practices developed at IBM and elsewhere under the name Cleanro… More...

used in stock. Shipping costs:zzgl. Versandkosten., plus shipping costs
3
Order
at AbeBooks.de
€ 15.85
Shipment: € 66.451
OrderSponsored link
Allan M. Stavely:
Toward Zero Defect Programming - Paperback

1998

ISBN: 0201385953

[EAN: 9780201385953], Gebraucht, guter Zustand, [PU: Addison-Wesley Professional], A+ Customer service! Satisfaction Guaranteed! Book is in Used-Good condition. Pages and cover are clean … More...

NOT NEW BOOK. Shipping costs: EUR 66.45 GlassFrogBooks, Hawthorne, CA, U.S.A. [64674448] [Rating: 5 (von 5)]
4
Order
at Biblio.co.uk
$ 125.94
(aprox. € 110.97)
Shipment: € 11.451
OrderSponsored link
Allan M. Stavely:
Toward Zero Defect Programming - Paperback

1998, ISBN: 9780201385953

Addison-Wesley Professional, 1998-09-24. 1. Paperback. Used:Good., Addison-Wesley Professional, 1998-09-24

Shipping costs: EUR 11.45 Ergodebooks
5
Order
at Biblio.co.uk
$ 13.15
(aprox. € 11.59)
Shipment: € 11.451
OrderSponsored link
Allan M. Stavely:
Toward Zero Defect Programming - Paperback

1998, ISBN: 9780201385953

Addison-Wesley Professional, 1998-09-24. Paperback. Good., Addison-Wesley Professional, 1998-09-24

Shipping costs: EUR 11.45 Ergodebooks

1As some platforms do not transmit shipping conditions to us and these may depend on the country of delivery, the purchase price, the weight and size of the item, a possible membership of the platform, a direct delivery by the platform or via a third-party provider (Marketplace), etc., it is possible that the shipping costs indicated by euro-book.co.uk / euro-book.co.uk do not correspond to those of the offering platform.

Bibliographic data of the best matching book

Details of the book
Toward Zero Defect Programming

Read a paper by the author describing a course taught using this book. Toward Zero-Defect Programming describes current methods for writing (nearly) bug-free programs. These methods are based on practices developed at IBM and elsewhere under the name Cleanroom Software Engineering. The successful application of these methods in commercial projects over the past fifteen years has produced defect rates that are, at least, an order of magnitude lower than industry averages. Remarkably, this reduction in defects comes at no net cost; on the contrary, it is often accompanied by increased productivity and shorter overall development time!In a concise and well-illustrated presentation, Stavely shows how these methods can be applied in three key areas of software development: specificationverificationtesting.Requiring formal specifications, and requiring that the code be proved mathematically to agree with the specifications, forces software engineers to program more simply and more clearly, eliminating many defects as a consequence. Performing verification as part of a team process uncovers additional defects and encourages careful examination of the program for efficiency and other quality aspects. Testing the program, to compensate for human fallibility in the preceding steps, catches (nearly) all remaining bugs.HighlightsExplains Cleanroom methods for developing high-quality software.Encourages a team process for program verification.Illustrates the importance of incremental development.The author departs somewhat from IBM Cleanroom methods in simplifying the procedures that readers must learn. His aim is to make specification andverification readily accessible to any student or practitioner who can write well-structured programs. No great mathematical sophistication is assumed. Although the book's examples are written in a number of programming languages to explain different points, the largest number ar

Details of the book - Toward Zero Defect Programming


EAN (ISBN-13): 9780201385953
ISBN (ISBN-10): 0201385953
Paperback
Publishing year: 1998
Publisher: ADDISON WESLEY PUB CO INC
256 Pages
Weight: 0,381 kg
Language: eng/Englisch

Book in our database since 2008-05-26T15:57:34+01:00 (London)
Detail page last modified on 2021-11-07T11:40:16+00:00 (London)
ISBN/EAN: 9780201385953

ISBN - alternate spelling:
0-201-38595-3, 978-0-201-38595-3
Alternate spelling and related search-keywords:
Book author: zero, allan
Book title: zero, defect, applications functions


More/other books that might be very similar to this book

Latest similar book:
8580000624779 Toward Zero Defect Programming (Stavely, Allan M.)


< to archive...