Donald MacKenzie

Publication Activity (10 Years)

Years Active: 1986-2000
Publications (10 Years): 0

Publications

Donald MacKenzie
A View from the Sonnenbichl: On the Historical Sociology of Software and System Dependability. ICHC (2000)
Donald MacKenzie, Garrel Pottinger
Mathematics, Technology, and Trust: Formal Verification, Computer Security, and the U.S. Military. IEEE Ann. Hist. Comput. 19 (3) (1997)
George Cleland, Donald MacKenzie
Inhibiting factors, market structure and the industrial uptake of formal methods. WIFT (1995)
David Hamilton, Richard Covington, John Kelly, Carron Kirkwood, Muffy Thomas, Alan R. Flora-Holmquist, Mark G. Staskauskas, Steven P. Miller, Mandayam K. Srivas, George Cleland, Donald MacKenzie
Experiences in applying formal methods to the analysis of software and system requirements. WIFT (1995)
Donald MacKenzie
The automation of proof: a historical and sociological exploration. IEEE Ann. Hist. Comput. 17 (3) (1995)
Boelie Elzen, Donald MacKenzie
The social limits of speed: development and use of supercomputers. IEEE Ann. Hist. Comput. 16 (1) (1994)
Donald MacKenzie
The Influence of the Los Alamos and Livermore National Laboratories on the Development of Supercomputing. IEEE Ann. Hist. Comput. 13 (2) (1991)
Donald MacKenzie
Why "the social aspects of science and technology" is not just an optional extra. SIGCAS Comput. Soc. 15 (4) (1986)