A view from the Sonnenbichl: on the historical sociology of software and system dependability

Authors:
Donald MacKenzie
Affiliations:
University of Edinburgh, Department of Sociology, 18 Buccleuch Place, Edinburgh EH8 9LN, Scotland, UK
Venue:
ICHC Proceedings of the international conference on History of computing: software issues
Year:
2000

Citing 5
Cited 0

Program verification: the very idea

Communications of the ACM
The new math of computer programming

Communications of the ACM
An axiomatic basis for computer programming

Communications of the ACM
Flow diagrams, turing machines and languages with only two formation rules

Communications of the ACM
Mechanizing proof: computing, risk, and trust

Mechanizing proof: computing, risk, and trust

Quantified Score

Hi-index	0.00

Visualization

Abstract