€ 0,00 0 Buch dabei,
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, Stavely shows how these methods … 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 astavely@acm.org; he has web pages at http://www.nmt.edu/~astavely. 0201385953AB05072001
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.
** Deutschsprachige eBooks und Bücher dürfen aufgrund der in Deutschland geltenden Buchpreisbindung und/oder Vorgaben von Verlagen nicht rabattiert werden. Soweit von uns deutschsprachige eBooks und Bücher günstiger angezeigt werden, wurde bei diesen kürzlich von den Verlagen der Preis gesenkt oder die Buchpreisbindung wurde für diese Titel inzwischen aufgehoben. Angaben zu Preisnachlässen beziehen sich auf den dargestellten Vergleichspreis.