爱词霸英语   汉语   手机版   软件版下载 | English
每日一句:正在加载...
2.Formal Semantics for SDL-2000
SDL-2000的形式语义研究收藏指正
3.Research on the Formal Semantics of Verilog Based on ASM
Verilog语义的ASM表示方法研究收藏指正
4.Because UML lacks of precise semantics,a method is proposed to express the formal semantics of the class diagrams based on the temporal logic language XYZ/E.
基于UML缺乏精确语义描述的不足,我们提出了基于时序逻辑语言XYZ/E来表示类图形式化语义的方法。收藏指正
5.Advanced components such as multiple instances task,cancel task,and task with transfer transition were provided by DWF_net,which could directly support complicated patterns. Every advanced component was mapped onto specific structural DWF_net with formal semantics.
通过提供多实例任务、取消任务、带传递变迁的任务等高级组件,直接支持工作流模式中几个主要复杂模式,每一个高级组件都对应一定结构的工作流描述网,并具有形式化的语义,在分析时按照一定的规则展开;收藏指正
6.Although JDK 1.2 introduces a class loading constraint scheme to fix the bug, subtle type spoofing related to class loaders still exists in JDK 1.2 and 1.3. We develop a formal model to specity the operational semantics and static semantics of the Java virtual machine, rigorously.
尽管JDK1.2通过引入一种类加载约束策略修正了这个错误,但是由动态加载引起的其它形式的类型欺骗仍然存在于JDK1.2和1.3中。 本文详细讨论了与动态类加载相关的类型欺骗问题,提出了一个严格定义Java虚拟机操作语义和静态语义的形式化模型。收藏指正
7.The formal method that defines the dynamic semantics of SDL (Specification and Description Language) by means of distributed real time Abstrethod, which is based on CSP (Communicating Sequential Processes), this method defines the semantics of SDL more directly and thus can be understood and maintained easily.
1 0 0的附件 F中用分布式实时抽象状态机 (ASM:Abstract StateMachine)形式地定义 SDL (Specisification and Descripiton Language)动态语义的方法。 与基于通信顺序进程的方法相比 ,该方法能够更直接地定义 SDL的动态语义 ,具有易于维护和可读性好等特点。收藏指正
8.This paper gives a formal description of three tiers C/S model using Darwin and gives semantics for three tiers C/S model in the π -calculus, the formalization foundationof Darwin . Then we generalize this description and point out the importance of research on the formalization of software architecture model by web-based applied B/S structure.
本文利用软件体系结构描述语言Darwin对三层C/S模型进行形式化描述,并使用π演算——Darwin的形式化基础,对三层C/S模型的语义进行了描述,同时指出这种描述的特点,并结合基于web应用的浏览器/服务器结构,阐述了软件体系结构模型形式化研究的重要性。收藏指正
9.Abstract: In this paper,the formal definition of composite objects was presented.Semantics of composite object was specified and related to object-oriented concepts.Then the semantics,creation and deletion of composite object were illustrated in terms of schema definition,which shows the integration of composite objects.Meanwhile,the approach of implementing composite objects,including enforcement of the semantics of composite objects and its physical clustering,was also indicated.
文摘:把复合对象和面向对象的概念联系起来，在复合对象的形式定义后，指定复合对象的语义，然后根据模式定义来说明复合对象的语义，以及复合对象的创建和删除.展示了复合对象数据整体性.同时还指出了实现复合对象的方法，包括复合对象语义的强制和物理聚集.收藏指正
10.This paper focuses on the study of event semantics in terms of the formal approach,which has experienced its development from the earliest stage,advocated by Donald Davidson,thus known as the Davidsonian analysis,to the current period of Neo-Davidsonian analysis.
本文着重介绍和分析如何应用形式描写来开展事件语义学研究的方法。 这一研究路子主要经历了从戴维森分析法到新戴维森分析法的发展。收藏指正
尝试查询