Download - The Limits of Correctness
-
7/30/2019 The Limits of Correctness
1/24
Also appeared as:[1] Cantwell Smith, B. (1995). The limits of correctness in computers. In D. Johnson & H.Nissenbaum (Eds.), Computers, Ethics & Social Values. Englewood Cliffs, NJ: Prentice Hall,456-469.[2] Smith, B.C.: Limits of Correctness in Computers. Colburn, T. R., Fetzer, J. H., and Rankin T.L. (eds.): Program Verification. Kluwer Academic Publishers, Dordrecht/Boston/London, 1993,pp. 275293.[3] Smith, B.C., 1996, Limits of Correctness in Computers, Computerization and Controversy:Value Conflicts and Social Choices, (2nd Ed.) Kling, R. (ed.), San Diego: Academic Press, pp.810825.
-
7/30/2019 The Limits of Correctness
2/24
-
7/30/2019 The Limits of Correctness
3/24
-
7/30/2019 The Limits of Correctness
4/24
-
7/30/2019 The Limits of Correctness
5/24
-
7/30/2019 The Limits of Correctness
6/24
-
7/30/2019 The Limits of Correctness
7/24
-
7/30/2019 The Limits of Correctness
8/24
-
7/30/2019 The Limits of Correctness
9/24
-
7/30/2019 The Limits of Correctness
10/24
-
7/30/2019 The Limits of Correctness
11/24
-
7/30/2019 The Limits of Correctness
12/24
-
7/30/2019 The Limits of Correctness
13/24
-
7/30/2019 The Limits of Correctness
14/24
-
7/30/2019 The Limits of Correctness
15/24
-
7/30/2019 The Limits of Correctness
16/24
-
7/30/2019 The Limits of Correctness
17/24
-
7/30/2019 The Limits of Correctness
18/24
-
7/30/2019 The Limits of Correctness
19/24
-
7/30/2019 The Limits of Correctness
20/24
-
7/30/2019 The Limits of Correctness
21/24
-
7/30/2019 The Limits of Correctness
22/24
-
7/30/2019 The Limits of Correctness
23/24
-
7/30/2019 The Limits of Correctness
24/24