可以将数据图的数据格式(模型)看作DMS与客户机之间的抽象。
The data format (model) of the data graph can be considered a contract between the DMS and the client.
基于队列网络模型，由化学抽象机中形式化描述的软件体系结构规约，导出了一种性能评价模型。
Then the paper derives a performance evaluation model, based on a Queueing Network Model, from a software architecture specification formally described in Chemical Abstract Machine.
本文叙述了并行程序设计语言occam的编译结构、抽象微码模型机、代码生成以及它的设计原则。
The paper describes the compiler structure, abstract microcode machine, code generation of OCCAM and its designing principles.
本文叙述了并行程序设计语言occam的编译结构、抽象微码模型机、代码生成以及它的设计原则。
The paper describes the compiler structure, abstract microcode machine, code generation of OCCAM and its designing principles.
应用推荐