This isn't a formal model (heh), it's simply my favorite analogy for software development.
这并不是一个非常正式的模型(呵呵)，我只是喜欢用它来代表软件开发。
Facts may take the form of natural language statements or as attributions, relationships, or generalizations within a formal model.
事实可以采用自然语言语句的形式，也可以作为一个规范模型中的属性、关系或概要。
On the other hand, important specifications such as the Infoset (a formal model of the information nodes in an XML document) should be established at the foundations.
另一方面，象Infoset (XML文档中信息节点的正式模型)这样的重要规范应该建立在此基础上。
Usually, we try to represent the architecture of a system through a formal model, and, usually, this model is articulated in UML, using a tool to create the various perspectives mentioned above.
通常，我们尝试通过正式的模型表示系统的体系结构，而此模型通常采用UML进行说明，使用工具来创建上面提到的各种透视图。
A formal model that analyzes the conflicts and cooperation between different businesses will be adopted in this thesis.
本文中用一种正式的模型来分析企业之间的冲突与合作。
Manufacturers can provide colorful formal model for color card for consumers to choose.
正规厂家能提供色彩丰富的样板色卡供消费者选择。
This paper presents an interoperability test generation method based on the formal model, Communicating Multiport Finite State Machines.
文章提出了一种基于通信多端口有限状态机模型的协议互操作性测试生成方法。
A formal model of PASCAL process blueprint, graphical notations of abstract logic structure diagram, and a fundamental programming procedure...
文中给出PASCAL过程蓝图的形式化模型，抽象逻辑结构图的图形表示方法，以及程序设计的基本过程。
This paper proposes the role concept, discusses the dynamic access control of role-based workflow status, and describes and analyses the formal model.
本文将角色的概念加入进来，讨论了基于角色的工作流状态的动态访问控制，并对其模型进行了形式化描述和分析。
As a XML-based descriptive language, WS-CDL lacks a formal model and verification mechanism to guarantee the correctness of collaborations and interactions.
作为一个基于XML的描述性规范语言，WS -CDL缺乏形式化的模型和验证机制，难以保证协作和交互的正确性。
This paper first introduces the formal model of RMS. Then, it puts stress on discussing the consistency preservation problem to remove contradicts in reasoning systems.
本文首先给出了RMS的形式模型，而后，重点讨论了系统中用以消除矛盾的一致性维护问题。
We extend finite automata with time sequence and define temporal finite automata, then we propose using temporal finite automat to build formal model for data fusion system.
本文提出了时序有限自动机，用它建立数据融合系统的形式化模型，并且给出了时序有限自动机模型的可达性分析方法，用于分析数据融合系统的性能和行为。
This paper proposes a formal model of feature interactions based on the semantic of message lists in runtime between the object of service logical programming instance and the network entities.
本文通过对业务在执行过程中，业务逻辑实例与外部实体交互消息的分析，提出一个基于消息序列语义的特征交互形式模型。
This paper proposes a formal model of feature interactions based on the semantic of message lists in runtime between the object of service logical programming instance and the network entities.
本文通过对业务在执行过程中，业务逻辑实例与外部实体交互消息的分析，提出一个基于消息序列语义的特征交互形式模型。
应用推荐