style description

In order to effectively support distributed development and make software collaborative development environment more effective and comfortable to use,collaborative theory and application tool were integrated with formal description.

为了有效地支持软件分布式开发,提高软件协同开发环境的易用性和有效性,从协同理论和应用工具两方面入手,在集成了多种协同应用软件的同时,融入了对参与者的形式描述,提高了开发环境的智能性和可定制性,进而提高了协同开发的质量和效率。

This paper give a method based on a formal description language to implement the encode and decode program.

提出一种基于形式描述的网络帧编解码实现方法,用形式化的方法在一定程度上实现网络帧编解码程序的自动生成。

The modeling, formal description and correctness verification of online static and dynamic stock trading systems, based on Shanghai Stock Exchange, are shown by using temporal Petri nets in order to make online stock trading systems more effective and rational.

基于时序Petri网对我国现行网上静态和动态证券交易系统进行了模拟、形式描述及功能正确性验证。

Linear visual specification and parser of form;

表格的线性直观形式描述及其解析

It　is　pointed　out　that　FTS　model　provides　a　better　basis　for　specifications　of　concurrent　systems　with　temporal　logic.

本文概述了目前用于并发系统形式描述的几个重要的基本模型：ＦＳＭ、Ｐｅｔｒｉ网、ＦＴＳ以及ＣＳＰ、ＣＣＳ、Ｓｔａｔｅｃｈａｒｔ等，并分析了上述一些模型的特点和不足之处，指出ＦＴＳ模型为时态逻辑用于并发系统形式描述提供了良好的基础。

New description method of Berlekamp-Massey algorithm;

Berlekamp-Massey算法的新描述形式

FDT: Development and Research on Intuitive LOTOS

形式描述技术:直观LOTOS的提出和研究

SOFTWARE TRANSPLANTING TOOLS: A FORMAL DESCRIPTION AND CASE STUDY

软件移植工具:形式描述及实例研究

Research on Formal Description and Modeling of Chance Discovery;

机会发现的形式描述与形式建模的研究

This paper discusses formal description style of communication protocol for computer networks.

研讨计算机网络通信协议的形式描述风格。

The Stduy of Formal Description of Chinese Character Glyph and Application

汉字字形形式化描述方法及应用研究

To use square graph to describe the structure of the machine.

用方块图形式来描述机器的结构。

Biological procesdures cannot be expressed in mathermatical formulae.

物理形成的过程无法用数学公式描述。

Beside this,the formalization based on OWL+Dublin Core is provided.

给出基于OWL+Dub lin Core的形式化描述;

Formal Description of Command and Control Relationships;

C2组织指挥控制关系的形式化描述

Study on Frame Description of RDF;

资源描述框架的形式化表示问题研究

The Research on B Formal Specification of UML Use Case Model

UML用例模型的B形式化描述方法研究

A Formal Description of Traffic Signal Based on LTL

基于LTL的交通灯系统形式化描述方法

Protocol Formal Description and Verification Method Based on RSL

基于RSL的协议形式化描述与验证方法

Research on Resource Formal Description in Navy Grid Environment

海上信息栅格资源形式化描述的研究

Approach to Formal Description of Cryptographic Protocols Based on XML

基于XML的安全协议形式化描述方法

A formal description method for P2P network models

P2P网络模型的形式化描述方法(英文)

FORMAL DESCRIPTION OF AN AUTHENTICATION SYSTEM OF USER'S STATUS

一种用户身份认证系统的形式化描述

Formal Description of Regions with Hole's Topological Relations

带空洞面对象间拓扑关系形式化描述