Toward Zero-Defect Programming

Stavely, Allan M.

ISBN 10: 0201385953 ISBN 13: 9780201385953

Editorial: Addison-Wesley Professional, 1998

Usado Encuadernaci�n de tapa blanda

Librer�a: Shakespeare Book House, Rockford, IL, Estados Unidos de America Calificaci�n del vendedor: 3 de 5 estrellas

Vendedor de AbeBooks desde 5 de junio de 2023

Este libro no est� disponible en este momento. Puede ver algunos ejemplares similares a continuaci�n.

Ver los art�culos de este vendedor Crear una petici�n para art�culos similares

Ver todos los ejemplares de este libro

Descripci�n

Item in acceptable condition including possible liquid damage. As well answers may be filled in. May be missing DVDs, CDs, Access code, etc. 100%Money-Back Guarantee! Ship within 24 hours!! This is a ex library book, stickers and markings accordingly. N� de ref. del art�culo 570W2K001C0S_ns

Denunciar este art�culo

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: Encuadernaci�n de tapa blanda
Condici�n: Acceptable

Los mejores resultados en AbeBooks

Imagen de archivo

Toward Zero-Defect Programming

Stavely, Allan M.

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: 5 de 5 estrellas

paperback. Condici�n: Very Good. 1st Edition. Used - Very Good. N� de ref. del art�culo: 4-H-11-1349

Contactar al vendedor

Comprar usado

EUR 2,08

EUR 4,00 shipping
Se env�a dentro de Estados Unidos de America

Cantidad disponible: 1 disponibles

A�adir al carrito

Imagen de archivo

Toward Zero-Defect Programming

Stavely, Allan M.

Publicado por Addison-Wesley Professional, 1998

ISBN 10: 0201385953 ISBN 13: 9780201385953

Antiguo o usado paperback

Librería: Evergreen 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

Contactar al vendedor

Comprar usado

EUR 2,08

EUR 3,41 shipping
Se env�a dentro de Estados Unidos de America

Cantidad disponible: 1 disponibles

A�adir al carrito

Imagen de archivo

Toward Zero Defect Programming

Stavely, Allan M.

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

Contactar al vendedor

Comprar usado

EUR 5,58

EUR 9,14 shipping
Se env�a de Reino Unido a Estados Unidos de America

Cantidad disponible: 1 disponibles

A�adir al carrito

Imagen de archivo

Toward Zero Defect Programming

Stavely, Allan M.

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

Contactar al vendedor

Comprar usado

EUR 5,95

Gastos de env�o gratis
Se env�a dentro de Estados Unidos de America

Cantidad disponible: 1 disponibles

A�adir al carrito

Imagen de archivo

Toward Zero Defect Programming

Stavely, Allan M.

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. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less. N� de ref. del art�culo: G0201385953I4N00

Contactar al vendedor

Comprar usado

EUR 5,95

Gastos de env�o gratis
Se env�a dentro de Estados Unidos de America

Cantidad disponible: 1 disponibles

A�adir al carrito

Imagen de archivo

Toward Zero Defect Programming

Stavely, Allan M.

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

Contactar al vendedor