An Algorithmic and Social Introduction to Computer Science (CSC-105 2000S)


Class 29: Some Reliability Considerations

Back to No Class. On to Proving Programs Correct.

Held Monday, March 13, 2000

Overview

Today we consider some reasons that programs fail, and what we might do about it.

Question 29 for today's class: What categories of people might be to blame when a program fails, and in what way might they have contributed to the failure?

Question 30 for Monday's class: What do we mean when we say a program is "correct"?

Notes

Contents

Summary


A Taxonomy of Targets


History

Saturday, 22 January 2000

Monday, 13 March 2000

Wednesday, 15 March 2000

Back to No Class. On to Proving Programs Correct.


Disclaimer Often, these pages were created "on the fly" with little, if any, proofreading. Any or all of the information on the pages may be incorrect. Please contact me if you notice errors.

This page may be found at http://www.math.grin.edu/~rebelsky/Courses/CS105/2000S/Outlines/outline.29.html

Source text last modified Wed Mar 15 09:15:34 2000.

This page generated on Wed Mar 15 09:21:52 2000 by Siteweaver. Validate this page's HTML.

Contact our webmaster at rebelsky@grinnell.edu