{"title":"段落","authors":"Alex Groce","doi":"10.1145/3635439.3635441","DOIUrl":null,"url":null,"abstract":"Donald A. MacKenzie's Mechanizing Proof: Computing, Risk, and Trust is a highly readable and generally insightful history of, primarily, the effort to prove computer programs safe and correct. It won the Robert K. Merton (see the Passages column for October 2020) award from the Science, Knowledge, and Technology section of the American Sociological Association in 2003. It is a book of history and sociology, but is likely to also introduce some technical content that will be new to, yet of interest to, many software engineers.","PeriodicalId":432885,"journal":{"name":"ACM SIGSOFT Software Engineering Notes","volume":"70 S9","pages":"10 - 10"},"PeriodicalIF":0.0000,"publicationDate":"2023-12-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Passages\",\"authors\":\"Alex Groce\",\"doi\":\"10.1145/3635439.3635441\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Donald A. MacKenzie's Mechanizing Proof: Computing, Risk, and Trust is a highly readable and generally insightful history of, primarily, the effort to prove computer programs safe and correct. It won the Robert K. Merton (see the Passages column for October 2020) award from the Science, Knowledge, and Technology section of the American Sociological Association in 2003. It is a book of history and sociology, but is likely to also introduce some technical content that will be new to, yet of interest to, many software engineers.\",\"PeriodicalId\":432885,\"journal\":{\"name\":\"ACM SIGSOFT Software Engineering Notes\",\"volume\":\"70 S9\",\"pages\":\"10 - 10\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2023-12-27\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"ACM SIGSOFT Software Engineering Notes\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1145/3635439.3635441\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"ACM SIGSOFT Software Engineering Notes","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1145/3635439.3635441","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 0
摘要
唐纳德-A-麦肯齐（Donald A. MacKenzie）的《证明机械化》（Mechanizing Proof：计算、风险和信任》是一部可读性很强、具有普遍洞察力的历史著作，主要讲述了证明计算机程序安全和正确的努力。该书于 2003 年获得了美国社会学协会科学、知识和技术分会颁发的罗伯特-K-默顿奖（见 2020 年 10 月的传记专栏）。这是一本关于历史和社会学的书，但也可能会介绍一些技术内容，这些内容对许多软件工程师来说是新鲜的，但也是他们感兴趣的。
Donald A. MacKenzie's Mechanizing Proof: Computing, Risk, and Trust is a highly readable and generally insightful history of, primarily, the effort to prove computer programs safe and correct. It won the Robert K. Merton (see the Passages column for October 2020) award from the Science, Knowledge, and Technology section of the American Sociological Association in 2003. It is a book of history and sociology, but is likely to also introduce some technical content that will be new to, yet of interest to, many software engineers.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
