... 代数符号 algebraic sign 代数规格说明 algebraic specification 算法处理程序 algorithm processor ...
基于210个网页-相关网页
代数空间影像复原 algebraic spatial image restoration 代数规格 algebraic specification 代数规格语言 algebraic specification language ..
基于8个网页-相关网页
algebraic specification language 代数规格语言
executable algebraic specification 可执行代数规范
non-linear algebraic specification 非线性代数规范
algebraic c specification 代数规格说明
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·2,447,543篇论文数据,部分数据来源于NoteExpress
以上来源于: WordNet
This paper discusses how to use the method of algebraic specification in specifying software systems.
本文讨论如何应用代数规范说明方法来说明软件系统。
The implementation of algebraic specification is a key for algebraic specification to support rapid prototype technology.
代数规范说明的实现是代数规范说明支持快速原型枝术的关键。
Then the mathematical description of operation relativity is given systematically from algebraic specification, Gantt chart expression and type conversion.
进一步提出在经典的车间作业计划析取图模型中,通过加入相关弧以表示工序的相关性。
应用推荐