形式化方法 - Wikiwand
For faster navigation, this Iframe is preloading the Wikiwand page for 形式化方法.

形式化方法

维基百科,自由的百科全书

此条目可参照英语维基百科相应条目来扩充。 (2019年10月19日)若您熟悉来源语言和主题,请协助参考外语维基百科扩充条目。请勿直接提交机械翻译,也不要翻译不可靠、低品质内容。依版权协议,译文需在编辑摘要注明来源,或于讨论页顶部标记((Translated page))标签。

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

参考文献

  1. ^ formal method - 形式方法. 双语词汇、学术名词暨辞书资讯网. 国家教育研究院. [永久失效链接]
  2. ^ 郭大维. IEEE第四届国际复杂系统工程研讨会. 国立中正大学资讯工程学系. 
  3. ^ R. W. Butler. What is Formal Methods?. 2001-08-06 [2006-11-16]. 
  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). 
{{bottomLinkPreText}} {{bottomLinkText}}
形式化方法
Listen to this article