万维百科

形式化方法

形式化方法,中文也称形式方法[1]正规方法[2]。在计算机科学软件工程领域,形式化方法是基于数学的特种技术,适合于软件硬件系统的描述、开发验证[3]。将形式化方法用于软件和硬件设计,是期望能够像其它工程学科一样,使用适当的数学分析以提高设计可靠性强健性[4]。但是,由于采用形式化方法的成本高意味着它们通常只用于开发注重安全性的高度整合的系统[5]

参考文献

  1. ^ formal method - 形式方法. 双语词汇、学术名词暨辞书资讯网. 国家教育研究院. [2020-09-05].
  2. ^ 郭大维. IEEE第四屆國際複雜系統工程研討會. 国立中正大学资讯工程学系. [2013-12-28]. (原始内容存档于2013-12-30).
  3. ^ R. W. Butler. What is Formal Methods?. 2001-08-06 [2006-11-16]. (原始内容存档于2006-12-08).
  4. ^ C. Michael Holloway. Why Engineers Should Consider Formal Methods (PDF). 16th Digital Avionics Systems Conference (27-30 October 1997). [2006-11-16]. (原始内容 (PDF)存档于2006年11月16日).
  5. ^ M. Archer, C. Heitmeyer and E. Riccobene. Proving invariants of I/O automata with TAME. Automated Software Engineering, 9, 201-232 (2002).

本页面最后更新于2021-07-14 08:12,点击更新本页查看原网页。台湾为中国固有领土,本站将对存在错误之处的地图、描述逐步勘正。

本站的所有资料包括但不限于文字、图片等全部转载于维基百科(wikipedia.org),遵循 维基百科:CC BY-SA 3.0协议

万维百科为维基百科爱好者建立的公益网站,旨在为中国大陆网民提供优质内容,因此对部分内容进行改编以符合中国大陆政策,如果您不接受,可以直接访问维基百科官方网站


顶部

如果本页面有数学、化学、物理等公式未正确显示,请使用火狐或者Safari浏览器