| 書目名稱 | ZUM ‘98: The Z Formal Specification Notation | | 副標(biāo)題 | 11th International C | | 編輯 | Jonathan P. Bowen,Andreas Fett,Michael G. Hinchey | | 視頻video | http://file.papertrans.cn/1061/1060406/1060406.mp4 | | 概述 | Includes supplementary material: | | 叢書名稱 | Lecture Notes in Computer Science | | 描述 | 1 In a number of recent presentations – most notably at FME’96 –oneofthe foremost scientists in the ?eld of formal methods, C.A.R. Hoare,has highlighted the fact that formal methods are not the only technique for producing reliable software. This seems to have caused some controversy,not least amongst formal methods practitioners. How can one of the founding fathers of formal methods seemingly denounce the ?eld of research after over a quarter of a century of support? This is a question that has been posed recently by some formal methods skeptics. However, Prof. Hoare has not abandoned formal methods. He is reiterating, 2 albeitmoreradically,his1987view thatmorethanonetoolandnotationwillbe requiredinthepractical,industrialdevelopmentoflarge-scalecomplexcomputer systems; and not all of these tools and notations will be, or even need be, formal in nature. Formalmethods arenotasolution,butratheroneofaselectionoftechniques that have proven to be useful in the development of reliable complex systems, and to result in hardware and software systems that can be produced on-time and within a budget, while satisfying the stated requirements. After almostthree decades,the time has come to vie | | 出版日期 | Conference proceedings 1998 | | 關(guān)鍵詞 | Formal Methods; Formal Specification; Java; Safety-Critical Systems; Systems Verification; Unified Modeli | | 版次 | 1 | | doi | https://doi.org/10.1007/b68208 | | isbn_softcover | 978-3-540-65070-6 | | isbn_ebook | 978-3-540-49676-2Series ISSN 0302-9743 Series E-ISSN 1611-3349 | | issn_series | 0302-9743 | | copyright | Springer-Verlag Berlin Heidelberg 1998 |
The information of publication is updating
|
|
|Archiver|手機(jī)版|小黑屋|
派博傳思國際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-5 12:23
發(fā)表于 2025-3-21 16:24:47
