中英▼
go top

formal specification

  • 形式规范

专业释义英英释义

  • 形式规约 - 引用次数：12

    Formal method uses the formal specification language to describe the software requirement, and make precise and unambiguous semantics to ensure the system is of correctness and maintainability. So it suits the industry use.

    形式化方法采用形式规约语言精确地描述软件规约说明,建立精确的、无二义性的语义,以数学的精确性保证了系统结构的合理性、正确性和良好的可维护性。

    参考来源 - VDM
    形式描述 - 引用次数：6

    参考来源 - 形式化描述语言B的面向对象机制研究—《电脑知识与技术·学术交流》—2008年第20期—龙源期刊网
    形式规范 - 引用次数：4

    ∑-algebra;data models;formal specification.

    ∑代数;数据模型;形式规范。

    参考来源 - 面向对象数据库类型继承关系的代数模型 in C
    形式刻画 - 引用次数：2

    参考来源 - 超协调时序逻辑及其模型检测方法
    形式规格
  • 形式化规范
    形式规约

·2,447,543篇论文数据，部分数据来源于NoteExpress

Formal specification

  • abstract: In computer science, formal specifications are mathematically based techniques whose purpose are to help with the implementation of systems and software. They are used to describe a system, to analyze its behavior, and to aid in its design by verifying key properties of interest through rigorous and effective reasoning tools.

以上来源于: WordNet

双语例句

  • For a formal specification of the verb set XML syntax, see the XML schema.

    有关谓词集xml语法的正式规范，请参阅XML模式。

    youdao

  • For a formal specification of the parameterized verb XML syntax, see the XML schema.

    有关参数化谓词xml语法的正式规范，请参阅XML模式。

    youdao

  • It? S not a formal specification, but a readable introduction to each language feature.

    它并不是一个标准规范，而是一本介绍每门语言特性的可读书籍。

    youdao

更多双语例句
$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块？

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

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