algebraic specification中文,algebraic specification的意思,algebraic specification翻译及用法

2026-05-05 13:23 浏览次数 15

algebraic specification

英[ˌældʒiˈbreiik ˌspesifiˈkeiʃən]美[ˌældʒəˈbreɪk ˌspɛsəfɪˈkeʃən]

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

algebraic specification 例句

英汉例句

  • the implementation of algebraic specification is a key for algebraic specification to support rapid prototype technology.

    代数规范说明的实现是代数规范说明支持快速原型枝术的关键。

  • aaa, an algebraic specification language based on the abstract data type, is introduced first.

    首先给出一种基于抽象数据类型的代数规格说明语言aaa;

  • this paper discusses algebraic specification technology and its automatic transformation into prolog.

    本文讨论了代数规范说明技术及其到逻辑程序设计语言prolog的转换。

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

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

相关热词