形式化方法：修订间差异

求闻百科，共笔求闻
以互动方式浏览历史
添加的内容 删除的内容
可视化wikitext
（修改自此处；原许可：CC BY-SA 3.0［网站升级迁移］）
 
小 （→‎top：​noteTA|ja|jpn|-{|}-跳过, replaced: 國 → 国 (2), 屆 → 届, 學 → 学 (3), 會 → 会, 語 → 语, 灣 → 湾 (2), 雙 → 双, 詞 → 词 (2), 稱 → 称, 術 → 术, 複 → 复, 雜 → 杂, 維 → 维, 際 → 际, 書 → 书, 統 → 统, 強 → 强, 資 → 资 (2), 機 → 机, 規 → 规, 計 → 计, 網 → 网 (2), 訊 → 讯 (2), 辭 → 辞, 討 → 讨）
第1行： 第1行：
'''形式化方法'''，中文也稱'''形式方法'''<ref>{{cite web |title=formal method - 形式方法 |url=http://terms.naer.edu.tw/search/?q=formal+method |publisher=台灣“國家教育研究院”|work=雙語詞彙、學術名詞暨辭書資訊網|accessdate=2020-09-05}}</ref>、'''正規方法'''<ref>{{Cite web |url=http://www.iicm.org.tw/communication/c2_1/page07.html |title=IEEE第四屆國際複雜系統工程研討會 |author=郭大維 |publisher=台灣中正大學資訊工程學系 |accessdate=2013-12-28 |archive-date=2013-12-30 |archive-url=https://web.archive.org/web/20131230233844/http://www.iicm.org.tw/communication/c2_1/page07.html |dead-url=no }}</ref>。在[[计算机科学]]和[[软件工程]]领域，'''形式化方法'''是基于[[数学]]的特种[[技术]]，适合于[[软件]]和[[硬件]]系统的[[描述]]、[[开发]]和[[验证]]<ref name="butler">{{cite web |author=R. W. Butler |title=What is Formal Methods? |url=http://shemesh.larc.nasa.gov/fm/fm-what.html |date=2001-08-06 |accessdate=2006-11-16 |archive-date=2006-12-08 |archive-url=https://web.archive.org/web/20061208010017/http://shemesh.larc.nasa.gov/fm/fm-what.html |dead-url=no }}</ref>。将[[形式化]]方法用于软件和硬件设计，是期望能够像其它[[工程学科]]一样，使用适当的[[数学分析]]以提高[[设计]]的[[可靠性 (計算機網絡)|可靠性]]和[[健壮性 (计算机科学)|強健性]]<ref>{{cite paper |author=C. Michael Holloway |title=Why Engineers Should Consider Formal Methods |url=http://klabs.org/richcontent/verification/holloway/nasa-97-16dasc-cmh.pdf |publisher=16th Digital Avionics Systems Conference (27-30 October 1997) |accessdate=2006-11-16 |deadurl=yes |archiveurl=https://web.archive.org/web/20061116210448/http://klabs.org/richcontent/verification/holloway/nasa-97-16dasc-cmh.pdf |archivedate=2006年11月16日 }}</ref>。但是，由于采用形式化方法的[[成本]]高意味着它们通常只用于开发注重[[安全性]]的高度整合的[[系统]]<ref>{{cite paper |author= M. Archer, C. Heitmeyer and E. Riccobene |title= Proving invariants of I/O automata with TAME|publisher= Automated Software Engineering, 9, 201-232 (2002)}}</ref>。
'''形式化方法'''，中文也称'''形式方法'''<ref>{{cite web |title=formal method - 形式方法 |url=http://terms.naer.edu.tw/search/?q=formal+method |publisher=台湾“国家教育研究院”|work=双语词彙、学术名词暨辞书资讯网|accessdate=2020-09-05}}</ref>、'''正规方法'''<ref>{{Cite web |url=http://www.iicm.org.tw/communication/c2_1/page07.html |title=IEEE第四届国际复杂系统工程研讨会 |author=郭大维 |publisher=台湾中正大学资讯工程学系 |accessdate=2013-12-28 |archive-date=2013-12-30 |archive-url=https://web.archive.org/web/20131230233844/http://www.iicm.org.tw/communication/c2_1/page07.html |dead-url=no }}</ref>。在[[计算机科学]]和[[软件工程]]领域，'''形式化方法'''是基于[[数学]]的特种[[技术]]，适合于[[软件]]和[[硬件]]系统的[[描述]]、[[开发]]和[[验证]]<ref name="butler">{{cite web |author=R. W. Butler |title=What is Formal Methods? |url=http://shemesh.larc.nasa.gov/fm/fm-what.html |date=2001-08-06 |accessdate=2006-11-16 |archive-date=2006-12-08 |archive-url=https://web.archive.org/web/20061208010017/http://shemesh.larc.nasa.gov/fm/fm-what.html |dead-url=no }}</ref>。将[[形式化]]方法用于软件和硬件设计，是期望能够像其它[[工程学科]]一样，使用适当的[[数学分析]]以提高[[设计]]的[[可靠性 (计算机网絡)|可靠性]]和[[健壮性 (计算机科学)|强健性]]<ref>{{cite paper |author=C. Michael Holloway |title=Why Engineers Should Consider Formal Methods |url=http://klabs.org/richcontent/verification/holloway/nasa-97-16dasc-cmh.pdf |publisher=16th Digital Avionics Systems Conference (27-30 October 1997) |accessdate=2006-11-16 |deadurl=yes |archiveurl=https://web.archive.org/web/20061116210448/http://klabs.org/richcontent/verification/holloway/nasa-97-16dasc-cmh.pdf |archivedate=2006年11月16日 }}</ref>。但是，由于采用形式化方法的[[成本]]高意味着它们通常只用于开发注重[[安全性]]的高度整合的[[系统]]<ref>{{cite paper |author= M. Archer, C. Heitmeyer and E. Riccobene |title= Proving invariants of I/O automata with TAME|publisher= Automated Software Engineering, 9, 201-232 (2002)}}</ref>。


== 参考文献 ==
== 参考文献 ==
取自“https://www.qiuwenbaike.cn/wiki/形式化方法”