中英▼
go top

algebraic specification

  • 代数规格，代数规范

网络释义专业释义英英释义

  代数规格说明

... 代数符号 algebraic sign 代数规格说明 algebraic specification 算法处理程序 algorithm processor ...

基于210个网页-相关网页

  代数规格

代数空间影像复原 algebraic spatial image restoration 代数规格 algebraic specification 代数规格语言 algebraic specification language ..

基于8个网页-相关网页

  代数方法

algebraic specification 代数方法; 代数规格说明 alternation specification 加改装规范 .

基于2个网页-相关网页

短语

algebraic specification language 代数规格语言

executable algebraic specification 可执行代数规范

non-linear algebraic specification 非线性代数规范

algebraic c specification 代数规格说明

algebraic software specification 代数软件说明

 更多收起网络短语
  • 代数规范 - 引用次数：11

    Our approach is to combine object-oriented paradigm with formal methods in software engineering, especially abstract data type theory, and algebraic specification of systems.

    我们希望能够将面向对象的数据库系统与软件工程中的形式化方法，尤其是抽象数据类型、系统的代数规范等结合起来。

    参考来源 - 面向对象数据库系统的代数模型 in C
    代数规约 - 引用次数：1

    参考来源 - 基于代数规约的Web服务测试 Web Service Test Based on Algebraic Specification
    代数规格说明
    代数式规格
    代数规格
  • 代数规约 - 引用次数：1

    参考来源 - 面向用户的CIMS总体设计模型体系的一种形式化描述
  • 代数规格说明
    代数规约

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

Algebraic specification

  • abstract: Algebraic specification, is a software engineering technique for formally specifying system behavior. Algebraic specification seeks to systematically develop more efficient programs by:

以上来源于: WordNet

双语例句

  • This paper discusses how to use the method of algebraic specification in specifying software systems.

    本文讨论如何应用代数规范说明方法来说明软件系统。

    youdao

  • The paper describes the methods of the class-level testing for object-oriented software based on algebraic specification, and constructs a frame for semi-automatic testing frame.

    本文研究了基于代数规格说明的面向对象类测试方法，构造了一个半自动化的测试框架。

    youdao

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

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

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