| 书目名称 | Program Verification | | 副标题 | Fundamental Issues i | | 编辑 | Timothy R. Colburn,James H. Fetzer,Terry L. Rankin | | 视频video | | | 丛书名称 | 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 | | 关键词 | 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 |
The information of publication is updating
|
|
发表于 2025-3-21 19:05:56
