形式化方法(当时我就只翻译了这一段,因为我认为还是直接读原文更好)

计算机科学软件工程领域,形式化方法是基于数学的特种技术,适合于软件硬件系统的描述开发验证[1]

 In computer science and software engineering, formal methods are a particular kind of mathematically-based techniques for thespecification, development and verification of software and hardware systems.[1]

形式化方法用于软件和硬件设计,是期望能够像其它工程学科一样,

使用适当的数学分析以提高设计可靠性鲁棒性[2]

 The use of formal methods for software and hardware design is motivated by the expectation that, as in other engineering disciplines, performing appropriate mathematical analysis can contribute to the reliability and robustness of a design.[2]

但是,由于采用形式化方法的成本高意味着它们通常只用于开发注重安全性的高度整合的系统[3]

 However, the high cost of using formal methods means that they are usually only used in the development of high-integrity systems,[3] where safety or security is of utmost importance.

from:

http://en.wikipedia.org/wiki/Formal_methods

http://en.wikipedia.org/wiki/History_of_software_engineering 


阅读更多
文章标签: methods
个人分类: 软件工程
上一篇Foundations of Software Engineering 和 Software Engineering Concepts
下一篇汉语在结构形式上有独特优势:汉语的言和语均有明显的形式区分标记
想对作者说点什么? 我来说一句

没有更多推荐了,返回首页

关闭
关闭
关闭