WorldCat Linked Data Explorer

Turtle N-Triple JSON-LD RDF/XML HTML Contact Us Home

http://worldcat.org/entity/work/id/14159226

Toward zero-defect programming

Open All Close All

type

about

alternateName

http://schema.org/alternateName

  • "Zero-defect programming"
  • "Zero-defect programming"@en

author

contributor

creator

description

http://schema.org/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."

name

http://schema.org/name

  • "零缺陷程序设计"
  • "Toward zero-defect programming"
  • "Toward zero-defect programming"@en
  • "Ling que xian cheng xu she ji"

workExample