形式化方法

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

参考文献

  1. . 雙語詞彙、學術名詞暨辭書資訊網. 國家教育研究院. [2020-09-05]. (原始内容存档于2020-10-21).
  2. 郭大維. . 國立中正大學資訊工程學系. [2013-12-28]. (原始内容存档于2013-12-30).
  3. R. W. Butler. . 2001-08-06 [2006-11-16]. (原始内容存档于2006-12-08).
  4. C. Michael Holloway. (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. . Automated Software Engineering, 9, 201-232 (2002).
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.