Toward Zero Defect Programming
Stavely, Allan M.
ISBN 10: 0201385953 ISBN 13: 9780201385953
Editorial: Addison-Wesley Professional, 1998
Usado
Paperback
Librería:
ThriftBooks-Atlanta, AUSTELL, GA, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Vendedor de AbeBooks desde 24 de marzo de 2009
Este artículo en concreto ya no está disponible.
Descripción
Descripción:
May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less. N° de ref. del artículo G0201385953I4N00
Sinopsis:
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:
- specification
- verification
- testing.
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.
Acerca del autor:
Allan M. Stavely was a faculty member in the Computer Science Department at New Mexico Tech for more than twenty years. He has also been a visiting staff member at IBM Research in San Jose, California; at Hewlett-Packard Labs in Bristol, England; and at IBM UK Laboratories at Hursley Park, Winchester, England. Much of his teaching, and most of his research, have focused on software engineering, formal methods, and improved methods of programming in general. Dr. Stavely is now an independent consultant, and can be reached at astavely@acm.org; he has web pages at http://www.nmt.edu/~astavely.
0201385953AB05072001
"Sobre este título" puede pertenecer a otra edición de este libro.
Detalles bibliográficos
Título: Toward Zero Defect Programming
Editorial: Addison-Wesley Professional
Año de publicación: 1998
Encuadernación: Paperback
Condición: Very Good
Condición de la sobrecubierta: No Jacket
Los mejores resultados en AbeBooks
Imagen de archivo
Toward Zero-Defect Programming
Publicado por
Addison-Wesley Professional, 1998
ISBN 10: 0201385953
ISBN 13: 9780201385953
Antiguo o usado
paperback
Original o primera edición
Librería: The Maryland Book Bank, Baltimore, MD, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
paperback. Condición: Very Good. 1st Edition. Used - Very Good. Nº de ref. del artículo: 4-H-11-1349
Cantidad disponible: 1 disponibles
Imagen de archivo
Toward Zero-Defect Programming
Publicado por
Addison-Wesley Professional, 1998
ISBN 10: 0201385953
ISBN 13: 9780201385953
Antiguo o usado
paperback
Librería: Seattle Goodwill, Seattle, WA, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
paperback. Condición: Good. Nº de ref. del artículo: mon0000205763
Cantidad disponible: 1 disponibles
Imagen de archivo
Toward Zero-Defect Programming
Publicado por
Addison-Wesley Professional, 1998
ISBN 10: 0201385953
ISBN 13: 9780201385953
Antiguo o usado
Paperback
Librería: HPB-Red, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority! Nº de ref. del artículo: S_402061647
Cantidad disponible: 1 disponibles
Imagen de archivo
Toward Zero Defect Programming
Publicado por
Addison-Wesley Professional, 1998
ISBN 10: 0201385953
ISBN 13: 9780201385953
Antiguo o usado
Paperback
Librería: ThriftBooks-Dallas, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less. Nº de ref. del artículo: G0201385953I3N00
Cantidad disponible: 1 disponibles
Imagen de archivo
Toward Zero Defect Programming
Publicado por
Addison-Wesley Professional, 1998
ISBN 10: 0201385953
ISBN 13: 9780201385953
Antiguo o usado
Paperback
Librería: ThriftBooks-Atlanta, AUSTELL, GA, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: Very Good. No Jacket. Former library book; May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less. Nº de ref. del artículo: G0201385953I4N10
Cantidad disponible: 1 disponibles
Imagen de archivo
Toward Zero Defect Programming
Publicado por
Addison-Wesley Professional, 1998
ISBN 10: 0201385953
ISBN 13: 9780201385953
Antiguo o usado
Paperback
Librería: ThriftBooks-Atlanta, AUSTELL, GA, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less. Nº de ref. del artículo: G0201385953I3N00
Cantidad disponible: 1 disponibles
Imagen de archivo
Toward Zero Defect Programming
Publicado por
Pearson Education, Limited, 1998
ISBN 10: 0201385953
ISBN 13: 9780201385953
Antiguo o usado
Tapa blanda
Librería: Better World Books Ltd, Dunfermline, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: Very Good. Ships from the UK. Used book that is in excellent condition. May show signs of wear or have minor defects. Nº de ref. del artículo: 11204631-20
Gastos de envío:
EUR 9,18
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: 1 disponibles
Imagen de archivo
Toward Zero Defect Programming
Librería: Majestic Books, Hounslow, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. pp. 256. Nº de ref. del artículo: 5782409
Gastos de envío:
EUR 7,46
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: 1 disponibles
Imagen de archivo
Toward Zero Defect Programming
Librería: Biblios, Frankfurt am main, HESSE, Alemania
Calificación del vendedor: 5 de 5 estrellas
Condición: New. pp. 256. Nº de ref. del artículo: 183114076
Gastos de envío:
EUR 9,95
De Alemania a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: 1 disponibles
Imagen de archivo
Toward Zero Defect Programming
Publicado por
Addison Wesley, 1998
ISBN 10: 0201385953
ISBN 13: 9780201385953
Nuevo
Tapa dura
Original o primera edición
Librería: ECOSPHERE, Champs sur marne, Francia
Calificación del vendedor: 5 de 5 estrellas
Couverture rigide. Condición: Neuf. Edition originale. Nº de ref. del artículo: ABE-18152832868
Gastos de envío:
EUR 65,00
De Francia a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: 1 disponibles