| 書目名稱 | Program Verification |
| 副標(biāo)題 | Fundamental Issues i |
| 編輯 | Timothy R. Colburn,James H. Fetzer,Terry L. Rankin |
| 視頻video | http://file.papertrans.cn/760/759844/759844.mp4 |
| 叢書名稱 | Studies in Cognitive Systems |
| 圖書封面 |  |
| 描述 | Among the most important problems confronting computer scienceis that of developing a paradigm appropriate to the discipline.Proponents of formal methods - such as John McCarthy, C.A.R. Hoare,and Edgar Dijkstra - have advanced the position that computing is amathematical activity and that computer science should model itselfafter mathematics. Opponents of formal methods - by contrast, suggestthat programming is the activity which is fundamental to computerscience and that there are important differences that distinguish itfrom mathematics, which therefore cannot provide a suitableparadigm..Disagreement over the place of formal methods in computer science hasrecently arisen in the form of renewed interest in the nature andcapacity of program verification as a method for establishing thereliability of software systems. A paper that appeared inCommunications of the ACM entitled, `Program Verification: The VeryIdea‘, by James H. Fetzer triggered an extended debate that has beendiscussed in several journals and that has endured for several years,engaging the interest of computer scientists (both theoretical andapplied) and of other thinkers from a wide range of backgrounds whowant to un |
| 出版日期 | Book 1993 |
| 關(guān)鍵詞 | algorithms; communication; formal method; formal verification; hardware verification; programming; science |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-94-011-1793-7 |
| isbn_softcover | 978-94-010-4789-0 |
| isbn_ebook | 978-94-011-1793-7Series ISSN 0924-0780 |
| issn_series | 0924-0780 |
| copyright | Springer Science+Business Media Dordrecht 1993 |
|Archiver|手機(jī)版|小黑屋|
派博傳思國(guó)際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-12 05:57
發(fā)表于 2025-3-21 19:05:56
