. .
Deutsch
Deutschland
Ähnliche Bücher
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Buch verkaufen
Anbieter, die das Buch mit der ISBN 0201385953 ankaufen:
Suchtools
Anmelden

Anmelden mit Facebook:

Registrieren
Passwort vergessen?


Such-Historie
Merkliste
Links zu eurobuch.com

Dieses Buch teilen auf…
Buchtipps
Aktuelles
Tipp von eurobuch.com
FILTER
- 0 Ergebnisse
Kleinster Preis: 0,75 €, größter Preis: 28,26 €, Mittelwert: 19,65 €
Toward Zero Defect Programming - Allan M. Stavely
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Allan M. Stavely:
Toward Zero Defect Programming - neues Buch

ISBN: 9780201385953

ID: 216937384

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. Toward Zero Defect Programming Bücher > Fremdsprachige Bücher > Englische Bücher Taschenbuch 01.09.1998, Addison-Wesley, .199

Neues Buch Buch.ch
No. 858730 Versandkosten:zzgl. Versandkosten
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Toward Zero Defect Programming - Allan M. Stavely
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Allan M. Stavely:
Toward Zero Defect Programming - neues Buch

ISBN: 9780201385953

ID: 121376302

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. Toward Zero Defect Programming Buch (fremdspr.) Bücher>Fremdsprachige Bücher>Englische Bücher, Addison-Wesley

Neues Buch Thalia.de
No. 858730 Versandkosten:, Versandfertig innerhalb von 3 Wochen, DE (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Toward Zero Defect Programming - Allan M. Stavely
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Allan M. Stavely:
Toward Zero Defect Programming - gebrauchtes Buch

ISBN: 9780201385953

ID: 580515811

Addison-Wesley Professional. Used - Very Good. Great condition for a used book! Minimal wear. 100% Money Back Guarantee. Shipped to over one million happy customers. Your purchase benefits world literacy!, Addison-Wesley Professional

gebrauchtes bzw. antiquarisches Buch Biblio.com
Better World Books
Versandkosten: EUR 12.12
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Toward Zero Defect Programming  Applications of Functions and Probabilities in Electronic Communications - NA
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
NA:
Toward Zero Defect Programming Applications of Functions and Probabilities in Electronic Communications - neues Buch

ISBN: 9780201385953

ID: 633784585

NA NA, Addison Wesley

Neues Buch Printsasia
new Versandkosten:zzgl. Versandkosten
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Toward Zero Defect Programming  Applications of Functions and Probabilities in Electronic Communications - NA
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
NA:
Toward Zero Defect Programming Applications of Functions and Probabilities in Electronic Communications - neues Buch

ISBN: 9780201385953

ID: 633784585

NA, Addison Wesley

Neues Buch Printsasia
new Versandkosten:zzgl. Versandkosten
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.

Details zum Buch
Toward Zero Defect Programming
Autor:

Stavely, Allan M.; Stavely, Allen M.

Titel:

Toward Zero Defect Programming

ISBN-Nummer:

Read a paper by the author describing a course taught using this book. 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: specificationverificationtesting.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.HighlightsExplains Cleanroom methods for developing high-quality software.Encourages a team process for program verification.Illustrates the importance of incremental development.The author departs somewhat from IBM Cleanroom methods in simplifying the procedures that readers must learn. His aim is to make specification andverification readily accessible to any student or practitioner who can write well-structured programs. No great mathematical sophistication is assumed. Although the book's examples are written in a number of programming languages to explain different points, the largest number ar

Detailangaben zum Buch - Toward Zero Defect Programming


EAN (ISBN-13): 9780201385953
ISBN (ISBN-10): 0201385953
Taschenbuch
Erscheinungsjahr: 1998
Herausgeber: ADDISON WESLEY PUB CO INC
256 Seiten
Gewicht: 0,381 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 26.05.2008 16:57:34
Buch zuletzt gefunden am 05.09.2016 21:39:45
ISBN/EAN: 0201385953

ISBN - alternative Schreibweisen:
0-201-38595-3, 978-0-201-38595-3


< zum Archiv...
Benachbarte Bücher