形式化方法
此條目可参照英語維基百科相應條目来扩充。 (2019年10月19日) |
形式化方法，中文也稱形式方法[1]、正規方法[2]。在计算机科学和软件工程领域，形式化方法是基于数学的特种技术，适合于软件和硬件系统的描述、开发和验证[3]。将形式化方法用于软件和硬件设计，是期望能够像其它工程学科一样，使用适当的数学分析以提高设计的可靠性和強健性[4]。但是，由于采用形式化方法的成本高意味着它们通常只用于开发注重安全性的高度整合的系统[5]。
参考文献
编辑- ^ formal method - 形式方法. 雙語詞彙、學術名詞暨辭書資訊網. 國家教育研究院. [2020-09-05]. （原始内容存档于2020-10-21）.
- ^ 郭大維. IEEE第四屆國際複雜系統工程研討會. 國立中正大學資訊工程學系. [2013-12-28]. （原始内容存档于2013-12-30）.
- ^ R. W. Butler. What is Formal Methods?. 2001-08-06 [2006-11-16]. （原始内容存档于2006-12-08）.
- ^ 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日）.
- ^ M. Archer, C. Heitmeyer and E. Riccobene. Proving invariants of I/O automata with TAME. Automated Software Engineering, 9, 201-232 (2002).
 | 这是一篇與科学相關的小作品。您可以通过编辑或修订扩充其内容。 |