Toward Zero Defect Programming

Stavely, Allan M.

ISBN 10: 0201385953 ISBN 13: 9780201385953
Verlag: Addison-Wesley Professional, 1998
Gebraucht Softcover

Verkäufer Wonder Book, Frederick, MD, USA Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Heritage Bookseller
AbeBooks-Mitglied seit 1996

Verbandsmitglied:

Beschreibung

Beschreibung:

Very Good condition. A copy that may have a few cosmetic defects. May also contain light spine creasing or a few markings such as an owner's name, short gifter's inscription or light stamp. Bestandsnummer des Verkäufers N07C-03483

Diesen Artikel melden

Inhaltsangabe:

  • This book 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. In a concise presentation, the author shows how to apply these methods in three key areas of software development: specification, verification, and testing.
  • Requiring formal specifications forces students to program more simply and more clearly, eliminating many defects as a consequence. Performing semiformal verification as part of a team process uncovers additional defects. Testing the program, to compensate for human fallibility in the preceding steps, catches (nearly) all remaining bugs. The author departs somewhat from IBM Cleanroom methods to simplify the formalism that students must learn, and to make specification and verification readily accessible to anyone who can write well-structured programs. Although the book's examples are written in several programming languages, the largest number is in C.

Über die Autorin bzw. den 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

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Bibliografische Details

Titel: Toward Zero Defect Programming
Verlag: Addison-Wesley Professional
Erscheinungsdatum: 1998
Einband: Softcover
Zustand: Very Good

Beste Suchergebnisse beim ZVAB

Beispielbild für diese ISBN

Stavely, Allan M.
ISBN 10: 0201385953 ISBN 13: 9780201385953
Gebraucht Softcover

Anbieter: Better World Books Ltd, Dunfermline, Vereinigtes Königreich

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: Very Good. Ships from the UK. Used book that is in excellent condition. May show signs of wear or have minor defects. Artikel-Nr. 11204631-20

Verkäufer kontaktieren

Gebraucht kaufen

EUR 5,57
EUR 9,11 shipping
Versand von Vereinigtes Königreich nach USA

Anzahl: 1 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Stavely, Allan M.
ISBN 10: 0201385953 ISBN 13: 9780201385953
Gebraucht Paperback

Anbieter: ThriftBooks-Dallas, Dallas, TX, USA

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Paperback. Zustand: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less. Artikel-Nr. G0201385953I3N00

Verkäufer kontaktieren

Gebraucht kaufen

EUR 5,73
Versand gratis
Versand innerhalb von USA

Anzahl: 1 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Stavely, Allan M.
ISBN 10: 0201385953 ISBN 13: 9780201385953
Gebraucht Paperback

Anbieter: ThriftBooks-Atlanta, AUSTELL, GA, USA

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Paperback. Zustand: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less. Artikel-Nr. G0201385953I4N00

Verkäufer kontaktieren

Gebraucht kaufen

EUR 5,73
Versand gratis
Versand innerhalb von USA

Anzahl: 1 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Stavely, Allan M.
ISBN 10: 0201385953 ISBN 13: 9780201385953
Gebraucht Paperback

Anbieter: ThriftBooks-Atlanta, AUSTELL, GA, USA

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Paperback. Zustand: Very Good. No Jacket. Former library book; May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less. Artikel-Nr. G0201385953I4N10

Verkäufer kontaktieren

Gebraucht kaufen

EUR 5,73
Versand gratis
Versand innerhalb von USA

Anzahl: 1 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Stavely, Allan M.
Verlag: Longman Group, 1998
ISBN 10: 0201385953 ISBN 13: 9780201385953
Neu Softcover

Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich

Verkäuferbewertung 4 von 5 Sternen 4 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: New. pp. 256. Artikel-Nr. 5782409

Verkäufer kontaktieren

Neu kaufen

EUR 13,65
EUR 7,40 shipping
Versand von Vereinigtes Königreich nach USA

Anzahl: 1 verfügbar

In den Warenkorb