Paraconsistent Query Answering Systems
FQAS '02 Proceedings of the 5th International Conference on Flexible Query Answering Systems
A view from the Sonnenbichl: on the historical sociology of software and system dependability
ICHC Proceedings of the international conference on History of computing: software issues
Ten commandments revisited: a ten-year perspective on the industrial application of formal methods
Proceedings of the 10th international workshop on Formal methods for industrial critical systems
International Working Group on Assurance Cases (for Security)
IEEE Security and Privacy
The reification of metaphor as a design tool
ACM Transactions on Computer-Human Interaction (TOCHI)
Analogies between linguistics and information theory: Research Articles
Journal of the American Society for Information Science and Technology
Integrating Searching and Authoring in Mizar
Journal of Automated Reasoning
Foundations and Trends in Web Science
Some Interdisciplinary Observations about Getting the "Right" Specification
Verified Software: Theories, Tools, Experiments
A direct path to dependable software
Communications of the ACM - A Direct Path to Dependable Software
The epistemology of computer security
ACM SIGSOFT Software Engineering Notes
Testing in the Wild: The Social and Organisational Dimensions of Real World Practice
Computer Supported Cooperative Work
A short survey of automated reasoning
AB'07 Proceedings of the 2nd international conference on Algebraic biology
Automated theorem provers: a practical tool for the working mathematician?
Annals of Mathematics and Artificial Intelligence
Specification before satisfaction: the case for research into obtaining the right specification
ZB'05 Proceedings of the 4th international conference on Formal Specification and Development in Z and B
Using formal methods with SysML in aerospace design and engineering
Annals of Mathematics and Artificial Intelligence
Proof, message and certificate
CICM'12 Proceedings of the 11th international conference on Intelligent Computer Mathematics
Mathematical practice, crowdsourcing, and social machines
CICM'13 Proceedings of the 2013 international conference on Intelligent Computer Mathematics
Communications of the ACM
Hi-index | 0.02 |
Most aspects of our private and social lives---our safety, the integrity of the financial system, the functioning of utilities and other services, and national security---now depend on computing. But how can we know that this computing is trustworthy? In Mechanizing Proof, Donald MacKenzie addresses this key issue by investigating the interrelations of computing, risk, and mathematical proof over the last half century from the perspectives of history and sociology. His discussion draws on the technical literature of computer science and artificial intelligence and on extensive interviews with scientists and engineers.