In the third chapter, the author discusses in detail the formal object of security rights.
在论文第三章中，作者对担保物权的形式客体进行了较为详细的考察。
The idea is based on generating of an simply formal object generated by the combination of opaque and glazed flat walls.
设计理念基于建造简单正规的建筑，它产生于不透明玻璃平壁的组合。
There exists an arrogant rationality which does not differentiate the material object from formal object of study, and hence a boundless discipline.
目前的教育学存在着一种狂妄的理性，没有区分教育学的实质研究对象和形式研究对象，成为一门没有限度的学科。
Secretary Rice has said the United States does not object to a formal agreement, but notes it is important to know what would be formalized.
美国国务卿赖斯说，美国不反对签订一份正式条约，但是她指出，了解正式条约的内容非常重要。
An object is contained in a formal module as text is contained in the document.
一个对象包含了规范模块中的形式，类似于在文档中包含的文本。
Much of our current exposure to formal specification comes with our use of languages, like the Object Constraint language (OCL), to provide rigor to our specifications and UML diagrams. 4.
目前我们的正式规范方式和我们使用的语言，如对象约束语言(ocl)，提供了的关于规范和UML图的严格要求。
Object Constraint language (OCL) is a formal language used to describe rules that apply to UML models.
ObjectConstraintLanguage (ocl)是一种用于描述应用于uml模型规则的规范语言。
The model is developed combing formal method with object-oriented method. It solves the problems of existing fusion models, which are short of reusability and dependability.
该模型采用面向对象和形式化相结合的方法，解决了现有信息融合模型缺乏可重用性、可靠性等问题。
Just because of the interaction between vision subject and vision object, we obtain formal effect held by our vision perception.
由于视觉主体与视觉对象这两组关系之间的互动，才有被我们的视知觉所把握的形式效应。
Basing on the object oriented concept lattice and the attribute oriented concept lattice, this paper deals with approaches to attribute reduction in consistent decision formal context.
本文研究基于对象定向概念格和属性定向概念格协调决策形式背景属性约简的问题。
OOPN can be used as formal modeling tool for Object-Oriented System.
OOPN能够成为面向对象系统的一种形式化的建模工具。
Formal contexts; formal concept; combination; object oriented concept lattices; property oriented concept lattices.
形式背景；形式概念；合成；面向对象概念格；面向属性概念格。
Structured methodology, object oriented methodology and formal methods are different software development methods.
结构化方法、面向对象方法和形式方法是三种不同的软件开发方法。
In recent years, peoples have studied many type systems, and the type systems with high order subtyping play an important role in the research of formal foundation of object oriented technology.
类型系统一直是理论计算机科学的研究热点，特别是带高阶子类型的多态类型系统的研究在探讨面向对象技术形式化理论基础中起着重要作用。
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.
本文通过对业务在执行过程中，业务逻辑实例与外部实体交互消息的分析，提出一个基于消息序列语义的特征交互形式模型。
Radically new procedures of this description should, however, be made the object of formal research at an early stage in order to determine whether they are safe and effective.
然而，全新的操作应在早期就作为正式科研的目标，以便确定它们是否安全和有效。
Decoration arts, whose basic feature is formal beauty, is an object depending on the main object.
装饰艺术的基本特征是形式美，是作为客体而依存于主体的艺术。
To satisfy the service-oriented architecture of software for structured object-oriented formal language (SOFL), a new service-oriented software requirement refinement method was proposed.
为了使结构化面向对象形式语言(SOFL)适应面向服务的软件架构，提出了一种用于面向服务架构软件需求求精的新方法。
It is an efficient way to implement automation of software by applying formal methods to object-oriented technology.
面向对象技术和形式化方法结合，在面向对象技术中应用形式化方法，是一种实现软件自动化的有效方法。
A solemn, formal declaration or promise to fulfill a pledge, often calling on God or a sacred object as witness.
庄严正式地宣布或许诺履行某一誓言，通常以上帝或圣物为见证者。
Propose an object-oriented and formal access control model for developers to design security mechanism of systems and for users to perform their duties securely and efficiently.
采用对象技术提出了一个通用的访问控制模型，提供应用级的访问控制机制和安全管理方法。
This method reflects the advantages of CPN and object-oriented technology, and describes the operation process of basic communication system from the formal and visual aspects.
该方法融合CPN和面向对象技术的优点，从形式化、可视化的角度描述基本通信系统的运行过程。
This method reflects the advantages of CPN and object-oriented technology, and describes the operation process of basic communication system from the formal and visual aspects.
该方法融合CPN和面向对象技术的优点，从形式化、可视化的角度描述基本通信系统的运行过程。
应用推荐