|
 REFERENCES
Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.
| |
1
|
Aitken, A. Fault Analysis, in A. E. Green (ed.), High Risk Safety Technology, New York: John Wiley & Sons, 1982
|
| |
2
|
Archinoff, G. H., Hohendorf, R. J., Wassyng, A., Quigley, B., and Borsch., M.R. Verification of the Shutdown System Software at the Darlington Nuclear Generating Station, Proc, Int. Conf. on Control and Instrumentation in Nuclear Installations, Glawgow, U. K., May 1990.
|
| |
3
|
|
| |
4
|
Bowman, W.C., Archinoff, G. H., Raina, V. M., Tremaine, D. R., and Leveson, N.G. An Application of Fault Tree Analysis to Safety Critical Software at Ontario Hydro, Conf. on Probabilistic Safety Assessment and Management (PSAM), Beverly Hills, April 1991.
|
| |
5
|
Briggs, A. The Power of Steam, Chicago: The University of Chicago Press, 1982.
|
| |
6
|
|
| |
7
|
Brookes, M.J. Human Factors in the Design and Operation of Reactor Safety Systems, in D.L. Sills, C.P. Wolf, and V. Shelanski (eds.), Accident at Three Mile Island: The Human Dimensions, Boulder, Colorado: Westview Press, 1982.
|
| |
8
|
|
| |
9
|
Burke, J.G. Bursting Boilers and the Federal Power, Technology and Culture, Vol. VII, No. 1, Winter 1966, pp. 1-23.
|
| |
10
|
Cameron, R. and Millard, A.J. Technology Assessment: A Historical Approach, Dubuque, Iowa: Kendall/Hunt Publishing Company, 1985.
|
| |
11
|
Dickens, Charles. Household Words, 1851, in Stone, Harry (ed.), Uncollected Writings from Household Words, 1850-1859, Bloomington: Indiana University Press, 1968.
|
| |
12
|
Dickinson, H.W. A Short History of the Steam Engine, London: Frank Cass & Co. Ltd., 1963.
|
| |
13
|
Eckhardt, D. E., and Lee, L.D. A Theoretical Basis for the Analysis of Multiversion Software Subject to Coincident Errors, IEEE Trans. on Software Engineering, Vol. SE-11, No. 12, December 1985, pp. 1511-1516.
|
| |
14
|
Dave E. Eckhardt , Alper K. Caglayan , John C. Knight , Larry D. Lee , David F. McAllister , Mladen A. Vouk , John J. P. Kelly, An Experimental Evaluation of Software Redundancy as a Strategy for Improving Reliability, IEEE Transactions on Software Engineering, v.17 n.7, p.692-702, July 1991
[doi> 10.1109/32.83905]
|
| |
15
|
Farey, J. A. Treatise on the Steam Engine: Historical, Practical, and Description, London: Longman, Rees, Orme, Brown, and Green, 1827.
|
| |
16
|
Goodenough, J. B. and Gerhart, S. Toward a Theory of Test Data Selection, IEEE Transactions on Software Engineering, Vol. SE-1, No. 2, June 1975.
|
| |
17
|
Hills, R.L. Power from Steam: A History of the Stationary Steam Engine, Cambridge: Cambridge University Press, 1989.
|
| |
18
|
Johnson, W.G. MORT: Safety Assurance Systems, New York: Marcel Dekker, Inc., 1980.
|
| |
19
|
Josephson, M. Edison, London: Eyre and Spottiswoode, 1961.
|
| |
20
|
Kemeny, John G. The Need for Change: The Legacy of Three Mile Island. Report of the President's Commission on Three Mile Island, New York: Pergamon Press, 1979.
|
| |
21
|
Kletz, T. Wise After the Event, Control and Instrumentation, Vol. 20, No. 10, October 1988, pp. 57-59.
|
| |
22
|
|
 |
23
|
|
| |
24
|
Leveson, N.G. and Turner, C.S. The Story Behind the Therac-25 Accidents: A Computer-Related Accident Investigation, submitted for publication.
|
| |
25
|
Millard, A.J. Edison and the Business oflnnovation, Baltimore: Johns Hopkins University Press, 1990.
|
| |
26
|
Millard, A.J. A Technological Lag: Diffusion of Electrical Technology in England 1879-1914, New York: Garland Publishers, 1987.
|
| |
27
|
|
| |
28
|
Parnas, D.L. Why Engineers Should Not Use Artificial Intelligence. Proceedings of the CIPS Edmonton '87 Conference, Edmonton, Alberta, November 16-19, 1987, published in J. Schaeffer and L. Stewart (eds.), Intelligence Integration, Dept. of Computing Science, University of Alberta, p. 39-42.
|
| |
29
|
Passer, H. The Electrical Manufacturers, Cambridge, Mass.: Harvard University Press, 1953.
|
| |
30
|
Pursell, C.H. Early Stationary Steam Engines in America, Washington, D. C.: Smithsonian Institution Press, 1969.
|
| |
31
|
Rasmussen, J. Cognitive Control andl Human Error Mechanisms, in .J. Rasmussen, K. Duncan, and J. Leplat (eds. ), New Technology and Human Error, New York: John Wiley & Sons, 1987.
|
| |
32
|
Robinson, E. and Musson, A.E. James Watt and the Steam Revolution, New York: Augustus M. Kelley, Publishers, 1969.
|
| |
33
|
Ruckelshaus, W .D. Risk, Science, and Democracy, in T.S. Glickman and M. Gough, Readings in Risk. Washington, D. C.: Resources for the Future, 1990.
|
| |
34
|
|
| |
35
|
Watts, S. Computer Watch on Nuclear Plant Raises Safety Fears, London Independent, Sunday, Oct. 13, 1991.
|
| |
36
|
Weil, V. The Browns Ferry Case, in M. Curd and L. May (eds.) Professional Responsibility for Harmful Actions, Dubuque, Iowa: Kendall Hunt, 1984.
|
| |
37
|
|
| |
38
|
Elaine J. Weyuker , Stewart N. Weiss , Dick Hamlet, Comparison of program testing strategies, Proceedings of the symposium on Testing, analysis, and verification, p.1-10, October 08-10, 1991, Victoria, British Columbia, Canada
[doi> 10.1145/120807.120808]
|
|
Adobe Acrobat
QuickTime
Windows Media Player
Real Player
Pdf
K.4