Toward zero-defect programming

Toward zero-defect programming

by Stavely, Allan M.

Type Book
Rate 0.0 /5
Details
Files
Reviews
Download

Title Statements

  • Full title :Toward zero-defect programming / Allan M. Stavely.

Edition Statements

  • Publication Date:©1999.

Publication Statements

  • Publisher(s):Addison-Wesley
  • Place of Publication:Reading, Mass
  • Language:eng
  • Publication Date:©1999.

The Physical Object

  • Description:xiv, 240 pages : : illustrations ; : 24 cm

Edition Identifiers

  • ISBN:0201385953, 9780201385953
  • oclc:ocn423801296
  • LC Classification:QA76.76 Q35S73 1999
  • Dewey Decimal:005.1/068/5

Table of Contents

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?

Read More ↓

Subjects

Computer software -- Quality control contrôle de qualité LOGICIEL logiciel -- vérification Logiciels -- Qualité Logiciels -- Vérification Qualité -- Contrôle Vérification de logiciels

Writers

Stavely, Allan M.

Rate & Review

0.0/5
(0 people Voted)

No reviews yet. Be the first to rate this work.

Files & Downloads

  • Toward Zero-Defect Programming -- (.djvu)

    DJVU · 1.8 MB · updated
    Login →