Toward zero-defect programming
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...
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Reading, Mass
Addison-Wesley
1999
|
| Subjects: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
MARC
| LEADER | 00000nam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | 2848 | ||
| 003 | MY-KLNDU | ||
| 005 | 20241218051253.0 | ||
| 008 | s1999 maua bi 000 0 eng d | ||
| 020 | |a 0201385953 (pbk) | ||
| 020 | |a 9780201385953 (pbk) | ||
| 039 | 9 | |a 201407121459 |b zul |c 201403111426 |d shahrim |c 200910081323 |d VLOAD |y 200910081205 |z VLOAD | |
| 040 | |a UPNM | ||
| 090 | |a QA 76.76 .Q35 |b .S73 1999 | ||
| 100 | 1 | |a Stavely, Allan M | |
| 245 | 1 | 0 | |a Toward zero-defect programming |c Allan M.Stavely |
| 246 | 3 | 0 | |a Zero-defect programming |
| 260 | |a Reading, Mass |b Addison-Wesley |c 1999 | ||
| 300 | |a xiv, 240 p. |b ill. |c 24 cm. | ||
| 504 | |a Includes bibliographical references and index. | ||
| 505 | 0 | |a Ch. 1. Introduction -- Ch. 2. The Functions Computed by Programs -- Ch. 3. Verification -- Ch. 4. Verification of Iterations -- Ch. 5. Programming with Intended Functions -- Ch. 6. Verification Reviews -- Ch. 7. Definite Iteration -- Ch. 8. Data Abstraction and Object-oriented Programs -- Ch. 9. Recursion and Functional Languages -- Ch. 10. Testing -- Ch. 11. Incremental Development -- Ch. 12. Where Do We Go From Here? | |
| 520 | |a 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: 1. specification, 2. verification, and 3. testing. | ||
| 650 | 0 | |a Computer software |x Quality control | |
| 650 | 0 | |a Computer software |x Verification | |
| 999 | |a vtls000003188 |c 2848 |d 2848 | ||