- Das Lesen ist schön


€ 0,00 0 Buch dabei,
Bücher immer versandkostenfrei
Toward Zero Defect Programming als Taschenbuch

Toward Zero Defect Programming

Sprache: Englisch.

  • 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 h... weiterlesen


inkl. MwSt.
Toward Zero Defect Programming als Taschenbuch
Titel: Toward Zero Defect Programming
Autor/en: Allan M. Stavely

ISBN: 0201385953
EAN: 9780201385953
Sprache: Englisch.

September 1998 - kartoniert - 256 Seiten


  • 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.


(Chapters 2 - 11 contain Exercises and all chapters conclude with Notes.) 1. Introduction. The Problem: Bugs. The Cleanroom Method. About This Book. 2. The Functions Computed by Programs. Computations: States and Functions. Representation of Functions: Concurrent Assignments. Conditional Concurrent Assignments. Local Variables. Specification Using Intended Functions. Other Notation Conventions. Writing Intended Functions. 3. Verification. The Structured Control Constructs. Placement of Intended Functions. The Substitution Principle. Sequences of Statements. Trace Tables. If-statements. Conditional Trace Tables. 4. Verification of Iterations. While-statements. Proving Termination. Initialized Loops. Writing Intended Functions for Loops in Isolation. Other Forms of Indefinite Iteration. 5. Programming with Intended Functions. A Pascal Program: Length of the Longest Line. A C Program: Counting Letters and Digits. An Icon Routine: Uncompressing a String. A Study in Abstraction: The Registrar's Program. Keeping Things Simple. 6. Verification Reviews. Why Verification Reviews Are Necessary. Verification Reviews in the Cleanroom Process. How Verification Reviews Are Done. Example: Another Routine from the Registrar's Programs. Example: A Routine from a Test-data Generator. Discussion of the Examples. 7. Definite Iteration. Definite Iteration Over Sequences. Sequence Variables. Other Sequence Expressions. Ranges of Integers. Other Data Structures. The Iteration Mechanisms. Sets and Sequences in Program Design. 8. Data Abstraction and Object-oriented Programs. Data Abstraction and Encapsulation. The Abstraction Function. Data Invariants. Object-oriented Programs. 9. Recursion and Functional Languages. Recursive Routines. Termination. Mutual Recursion. Functional Languages. 10. Testing. The Role of Testing. Usage-based Testing. Test-data Generators. Other Forms of Testing. 11. Incremental Development. Developing a Program in Increments. Example: Rehearsal Scheduling. 12. Where Do We Go From Here? Other Parts of the Cleanroom Process. Other Formal Methods. What Have We Accomplished? Prospects for the Future. Hints for Selected Exercises. References. Index. 0201385953T04062001


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; he has web pages at 0201385953AB05072001

Kunden, die diesen Artikel gekauft haben, kauften auch

Tragen Sie Ihre E-Mail- Adresse ein, und bleiben Sie kostenlos informiert:
Harry Potter 1 und der Stein der Weisen. Schmuckausgabe
Buch (gebunden)
von Joanne K. Row…
Kurzgeschichten aus Hogwarts: Macht, Politik und nervtötende Poltergeister
von J.K. Rowling
Kurzgeschichten aus Hogwarts: Heldentum, Härtefälle und hanebüchene Hobbys
von J.K. Rowling
von Reinhard Klei…

Diese Artikel könnten Sie auch interessieren

Das Messias-Projekt
- 54% **
von Markus Ridder
Print-Ausgabe € 10,99
Harry Potter und das verwunschene Kind - Teil eins und zwei (Special Rehearsal Edition)
- 25% **
von J.K. Rowling,…
Print-Ausgabe € 19,99
Passagier 23
von Sebastian Fit…
The Price of Liberty: Personality and Politics in Colonial Nigeria
Buch (gebunden)
von Ken Post, Pos…
- 12% **
von Rita Falk
Print-Ausgabe € 15,90
089 - 70 80 99 47

Mo. - Fr. 8.00 - 20.00 Uhr
Sa. 10.00 - 20.00 Uhr
089 - 30 75 75 75

Mo. - Sa. 9.00 - 20.00 Uhr
Bleiben Sie in Kontakt:
Sicher & bequem bezahlen:
akzeptierte Zahlungsarten: Überweisung, offene Rechnung,
Visa, Master Card, American Express, Paypal
Zustellung durch:
* Alle Preise verstehen sich inkl. der gesetzlichen MwSt. Informationen über den Versand und anfallende Versandkosten finden Sie hier.
** im Vergleich zum dargestellten Vergleichspreis.