Donald MacKenzie

According to our database, Donald MacKenzie authored at least 9 papers between 1986 and 2000.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2000

A View from the Sonnenbichl: On the Historical Sociology of Software and System Dependability.

Donald MacKenzie

Proceedings of the History of Computing: Software Issues, 2000

1997

Mathematics, Technology, and Trust: Formal Verification, Computer Security, and the U.S. Military.

Donald MacKenzie, Garrel Pottinger

IEEE Ann. Hist. Comput., 1997

1995

The automation of proof: a historical and sociological exploration.

Donald MacKenzie

IEEE Ann. Hist. Comput., 1995

Experiences in applying formal methods to the analysis of software and system requirements.

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

Proceedings of the Workshop on Industrial-Strength Formal Specification Techniques, 1995

Inhibiting factors, market structure and the industrial uptake of formal methods.

George Cleland, Donald MacKenzie

Proceedings of the Workshop on Industrial-Strength Formal Specification Techniques, 1995

1994

The social limits of speed: development and use of supercomputers.

Boelie Elzen, Donald MacKenzie

IEEE Ann. Hist. Comput., 1994

1993

The Social Negotiation of Proof: An Analysis and a further Prediction.

Donald MacKenzie

Proceedings of the Formal Methods in Systems Engineering, 1993

1991

The Influence of the Los Alamos and Livermore National Laboratories on the Development of Supercomputing.

Donald MacKenzie

IEEE Ann. Hist. Comput., 1991

1986

Why "the social aspects of science and technology" is not just an optional extra.

Donald MacKenzie

SIGCAS Comput. Soc., 1986