go top

有道翻译

软件开发的形式化方法

Formal methods of software development

以上为机器翻译结果,长、整句建议使用 人工翻译

双语例句

  • 提出一种数据精化过程精化、数据精化数据精化形式化软件开发方法

    A formal software development method of using data refinement with two times is introduced, which from data refinement to process refinement then to data refinement.

    youdao

  • 方法一种软件形式化方法支持规格说明代码生成整个软件开发周期

    B-method is a software formal method, which supports the whole lifecycle of software development from formal specification to code generation.

    youdao

  • 目前软件开发中的形式化方法主要形式化规范说明语言,有Z语言VDM语言RAISE语言

    Nowadays, theformalized methods in software development mainly are formalized specification languages, such as Z language, VDM language and RAISE language, etc.

    youdao

更多双语例句

百科

软件开发的形式化方法

《软件开发的形式化方法》对软件开发中的形式化方法进行了介绍和讨论,内容涵盖了SE2004中关于"软件的形式化方法"的知识点,主要包括:有限状态机、Statecharts、Petri网、通信顺序进程、通信系统演算、一阶逻辑、程序正确性证明、时态逻辑、模型检验、Z、VDM、Larch等。形式化方法是建立在严格数学基础上、具有精确数学语义的开发方法。从广义角度,形式化方法是软件开发过程中分析、设计及实现的系统工程方法。狭义地,形式化方法是软件规格和验证的方法。 《软件开发的形式化方法》可作为计算机、软件工程等专业高年级本科生或研究生的教学用书,也可供相关领域的研究人员和工程技术人员参考。

详细内容

以上来源于: 百度百科
$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定