specification language

The paper also illustrates several examples using the specification language .

本文中并提出数个此一规格语言之使用实例。

As a visual specification language , petri net is increasingly used for the evaluation and analysis of real-time systems .

Petri网作为一种可视化的规格语言，越来越多地用于实时系统的评估和分析。

A User 's Problem Specification Language & Application Based on Logical System

基于逻辑系统的用户需求功能规格说明语言及其应用

Language and Semantic Analysis on Process Specification Language Based on Ontology

基于本体论的过程规范语言的语义分析

Research on the Application of Process Specification Language

过程规范语言应用分析

A Specification Language Used in Manufacturing Information System Integration

用于制造系统过程集成的一种规范语言

The specification language Z is used in this paper .

模型采用规格说明语言Z进行描述。

Application of Property Specification Language in Assertion Based Verification on Hardware

属性说明语言在基于断言的硬件验证中的应用

This paper makes the study on formal specification language for modeling of process control system .

本文研讨一种适用于过程控制系统建模的形式描述语言PROTOB。

An Embedded Real-Time Software Oriented Requirements Specification Language and Checking Methods

面向嵌入式实时软件的需求规约语言及检测方法

It also demands much more stringent use of the specification language .

它还要求对规范语言的更严格的使用。

Partial Evaluation Specification Language and Application Framework for Java

Java程序部分求值描述语言及其应用框架

Optimization of Function Evaluation in Formal Specification Language

形式规约语言中函数运算的优化

A New Specification Language for Object

一种新型的对象类型规范语言

Algebraic Verification Method of Data Refinement in Formal Specification Language

形式规范语言数据求精过程的代数验证方法

Products Integrated Process Planning Specification Language

产品工艺计划描述语言

A Requirements Specification Language for Network Parallel Environments

一个面向网络并行环境的需求规约语言

Design of a Specification Language and Development of Its Subset Complier

一个说明语言的设计和其子集编译器的开发

The RAISE Specification Language and Its Semantic Characteristics

RAISE规范语言及其语义特征

Verification of Hardware Circuit with Property Specification Language

用属性说明语言验证硬件电路

Formal Specification Language for Description of Security Protocol

一种描述安全协议的形式化规范语言

Property Specification Language of Hardware Circuit

硬件电路的属性说明语言

A Survey on Ontology Specification Language Transformation

本体表示语言转换技术研究综述

Also a formal specification language is defined to specify conformance test suites .

并利用自定义的一种形式化描述语言DSL实现了协议一致性测试集的形式化。

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

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

Path expression is a specification language for the synchronization of concurrent access to shared data .

路径表达式（Pathexpression）是一种非过程化的共享资源并发存取控制的描述工具。

The Specification Language Based on Petri Nets

基于Petri网的规范说明语言

Unified Modeling Language ( UML ) is a generic visual modeling and specification language .

统一建模语言（UML，UnifiedMOdelingLanguage）是一种非专利的可视化建模和规约语言。

By using Object-Z specification language , Object-oriented concepts can be easily expressed .

使用Object-Z就可以方便地表达面向对象的概念。

A Formal Specification Language Supporting Specification Acquisition

一个支持规约获取的形式规约语言