skip to content
Toward zero-defect programming Preview this item
ClosePreview this item
Checking...

Toward zero-defect programming

Author: Allan M Stavely
Publisher: Reading, Mass. : Addison-Wesley, ©1999.
Edition/Format:   Print book : EnglishView all editions and formats
Database:WorldCat
Summary:
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,  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Additional Physical Format: Online version:
Stavely, Allan M.
Toward zero-defect programming.
Reading, Mass. : Addison-Wesley, ©1999
(OCoLC)607064411
Document Type: Book
All Authors / Contributors: Allan M Stavely
ISBN: 0201385953 9780201385953
OCLC Number: 38520638
Description: xiv, 240 pages : illustrations ; 24 cm
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?
Other Titles: Zero-defect programming
Responsibility: Allan M. Stavely.

Abstract:

This text describes how to write (nearly) bug-free programs. It shows how methods can be applied in three key areas of software development: specification, verification and testing. Examples are  Read more...

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/38520638> # Toward zero-defect programming
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "38520638" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/14159226#Place/reading_mass> ; # Reading, Mass.
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/mau> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/14159226#Topic/programas_para_computadora> ; # Programas para computadora
   schema:about <http://id.loc.gov/authorities/subjects/sh85029537> ; # Computer software--Verification
   schema:about <http://experiment.worldcat.org/entity/work/data/14159226#Topic/computer_software_verification> ; # Computer software--Verification
   schema:about <http://experiment.worldcat.org/entity/work/data/14159226#Topic/verificacion> ; # VERIFICACION
   schema:about <http://experiment.worldcat.org/entity/work/data/14159226#Topic/computer_software_quality_control> ; # Computer software--Quality control
   schema:about <http://id.loc.gov/authorities/subjects/sh97003403> ; # Computer software--Quality control
   schema:about <http://id.worldcat.org/fast/872604> ; # Computer software--Verification
   schema:about <http://id.worldcat.org/fast/872581> ; # Computer software--Quality control
   schema:about <http://experiment.worldcat.org/entity/work/data/14159226#Topic/programas_para_computadora_control_de_calidad> ; # Programas para computadora--Control de calidad
   schema:about <http://dewey.info/class/005.10685/e21/> ;
   schema:alternateName "Zero-defect programming" ;
   schema:bookFormat bgn:PrintBook ;
   schema:copyrightYear "1999" ;
   schema:creator <http://experiment.worldcat.org/entity/work/data/14159226#Person/stavely_allan_m> ; # Allan M. Stavely
   schema:datePublished "1999" ;
   schema:description "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."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/14159226> ;
   schema:inLanguage "en" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/607064411> ;
   schema:name "Toward zero-defect programming"@en ;
   schema:productID "38520638" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/38520638#PublicationEvent/reading_mass_addison_wesley_1999> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/14159226#Agent/addison_wesley> ; # Addison-Wesley
   schema:workExample <http://worldcat.org/isbn/9780201385953> ;
   umbel:isLike <http://bnb.data.bl.uk/id/resource/GB98V6281> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/38520638> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/14159226#Agent/addison_wesley> # Addison-Wesley
    a bgn:Agent ;
   schema:name "Addison-Wesley" ;
    .

<http://experiment.worldcat.org/entity/work/data/14159226#Person/stavely_allan_m> # Allan M. Stavely
    a schema:Person ;
   schema:familyName "Stavely" ;
   schema:givenName "Allan M." ;
   schema:name "Allan M. Stavely" ;
    .

<http://experiment.worldcat.org/entity/work/data/14159226#Topic/computer_software_quality_control> # Computer software--Quality control
    a schema:Intangible ;
   schema:name "Computer software--Quality control"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/14159226#Topic/computer_software_verification> # Computer software--Verification
    a schema:Intangible ;
   schema:name "Computer software--Verification"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/14159226#Topic/programas_para_computadora> # Programas para computadora
    a schema:Intangible ;
   schema:name "Programas para computadora"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/14159226#Topic/programas_para_computadora_control_de_calidad> # Programas para computadora--Control de calidad
    a schema:Intangible ;
   schema:name "Programas para computadora--Control de calidad"@en ;
    .

<http://id.loc.gov/authorities/subjects/sh85029537> # Computer software--Verification
    a schema:Intangible ;
   schema:name "Computer software--Verification"@en ;
    .

<http://id.loc.gov/authorities/subjects/sh97003403> # Computer software--Quality control
    a schema:Intangible ;
   schema:name "Computer software--Quality control"@en ;
    .

<http://id.worldcat.org/fast/872581> # Computer software--Quality control
    a schema:Intangible ;
   schema:name "Computer software--Quality control"@en ;
    .

<http://id.worldcat.org/fast/872604> # Computer software--Verification
    a schema:Intangible ;
   schema:name "Computer software--Verification"@en ;
    .

<http://worldcat.org/isbn/9780201385953>
    a schema:ProductModel ;
   schema:isbn "0201385953" ;
   schema:isbn "9780201385953" ;
    .

<http://www.worldcat.org/oclc/607064411>
    a schema:CreativeWork ;
   rdfs:label "Toward zero-defect programming." ;
   schema:description "Online version:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/38520638> ; # Toward zero-defect programming
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.