期刊文献+
共找到14篇文章
< 1 >
每页显示 20 50 100
面向对象的形式规格说明语言OOZS 被引量:3
1
作者 李刚 朱关铭 童頫 《计算机应用与软件》 CSCD 2000年第3期1-11,共11页
OOZS语言是一种面向对象的形式规格说明语言,用于书写软件的形式规格说明。它是Z语言的一种扩展,用以支持面向对象的软件分析方法,提供了类封装机制、类继承机制、入口和出口机制,设置了Pre谓词和Post谓词,表达力强,简明精确。本文是该... OOZS语言是一种面向对象的形式规格说明语言,用于书写软件的形式规格说明。它是Z语言的一种扩展,用以支持面向对象的软件分析方法,提供了类封装机制、类继承机制、入口和出口机制,设置了Pre谓词和Post谓词,表达力强,简明精确。本文是该语言的试用文本介绍。 展开更多
关键词 面向对象 oozs语言 形式语义 计算机
下载PDF
结构化面向对象形式规格说明语言OOZS——规格说明测试 被引量:2
2
作者 李刚 朱关铭 童頫 《上海大学学报(自然科学版)》 CAS CSCD 1998年第4期429-435,共7页
自动或半自动实现面向对象形式规格说明的测试不但要求相应的规格说明语言具有严格的形式语义,而且要求使用人员具有较深的数学基础,从而最终影响了面向对象规格说明测试的研究.本文提出了一种测试方法,该方法通过构造测试用例对面向对... 自动或半自动实现面向对象形式规格说明的测试不但要求相应的规格说明语言具有严格的形式语义,而且要求使用人员具有较深的数学基础,从而最终影响了面向对象规格说明测试的研究.本文提出了一种测试方法,该方法通过构造测试用例对面向对象形式规格说明的各种特性进行检验,可以较容易地发现形式规格说明中的不一致、不完整之处. 展开更多
关键词 oozs 面向对象 软件测试 规格说明测试
下载PDF
结构化面向对象形式规格说明语言OOZS——类型检查器 被引量:1
3
作者 李刚 朱关铭 缪淮扣 《上海大学学报(自然科学版)》 CAS CSCD 1998年第5期572-578,共7页
OOZS类型检查器是OOZS规格说明的一种检查程序,它可以找出用户编写的OOZS规格说明中出现的语法错误以及类型操作的不一致错误,并能够自动定位错误.本文介绍了OOZS类型检查器的设计与实现.
关键词 语法分析 YACC oozs 类型检查器 软件工程
下载PDF
OOZS:一种面向对象的Z语言扩展 被引量:1
4
作者 李刚 朱关铭 《计算机研究与发展》 EI CSCD 北大核心 1997年第10期742-746,共5页
在软件开发过程中,面向对象方法和形式方法的综合使用有助于充分利用这两种方法的优点并克服它们的不足.在Z规格说明语言的基础上,作者设计了一种结构化的面向对象形式规格说明语言OOZS,以提高形式规格说明的层次性及模块化能... 在软件开发过程中,面向对象方法和形式方法的综合使用有助于充分利用这两种方法的优点并克服它们的不足.在Z规格说明语言的基础上,作者设计了一种结构化的面向对象形式规格说明语言OOZS,以提高形式规格说明的层次性及模块化能力.本文简要介绍了OOZS语言的设计思想及其面向对象特征. 展开更多
关键词 面向对象 oozs语言 Z语言 程序语言
下载PDF
结构化面向对象形式规格说明语言OOZS——应用实例
5
作者 李刚 朱关铭 《上海大学学报(自然科学版)》 CAS CSCD 1998年第3期281-286,共6页
OOZS是一种面向对象的形式规格说明语言,它是Z规格说明语言的一种面向对象扩展.本文结合一个四边形图形的例子对OOZS语言的应用进行说明.
关键词 面向对象 规格说明 oozs语言 结构化 Z语言
下载PDF
结构化面向对象形式规格说明语言OOZS——设计原理 被引量:5
6
作者 李刚 朱关铭 《上海大学学报(自然科学版)》 CAS CSCD 1998年第2期187-195,共9页
形式方法与面向对象方法的综合使用可以使它们各自的优点得到充分体现:形式方法使目标软件系统的需求规格说明简明、精确,面向对象方法使目标软件系统的组织和分解工作更加系统、自然.本文讨论了Z规格说明语言的应用限制,并在Z语... 形式方法与面向对象方法的综合使用可以使它们各自的优点得到充分体现:形式方法使目标软件系统的需求规格说明简明、精确,面向对象方法使目标软件系统的组织和分解工作更加系统、自然.本文讨论了Z规格说明语言的应用限制,并在Z语言的基础上介绍了结构化面向对象形式规格说明语言——OOZS的设计方法.该语言吸收了面向对象程序设计语言SmalTalk、C++以及形式规格说明语言VDM、Zc、Z.S等的优点,引入了类、继承、入口、出口、Pre谓词、Post谓词等机制,并对Z语言的符号进行结构化处理,提高了形式规格说明的层次性和模块化能力。 展开更多
关键词 形式方法 面向对象 规格说明 Z oozs 软件开发
下载PDF
形式语言B与OOZS的比较
7
作者 沈洁 《经济研究导刊》 2011年第1期294-295,共2页
介绍了形式化方法B方法和OOZS方法,从软件开发的角度对二者进行了比较,归纳了异同和各自适用范围。不同形式规格说明语言有各自的特点及适用范围。OOZS语言目前尚缺乏严格的形式理论基础,使得OOZS语言的自动推理工具和验证工具的开发尚... 介绍了形式化方法B方法和OOZS方法,从软件开发的角度对二者进行了比较,归纳了异同和各自适用范围。不同形式规格说明语言有各自的特点及适用范围。OOZS语言目前尚缺乏严格的形式理论基础,使得OOZS语言的自动推理工具和验证工具的开发尚缺乏坚实的基础。B方法中的精华和实现是很多形式化开发方法所没有的,他在规格说明的基础上可直接生成可执行系统,并在整个开发过程中通过正确性验证,保证了软件产品的高可靠性、可移植性和可维护性,有效地提高软件的生产率。 展开更多
关键词 B oozs 形式化方法 比较
下载PDF
OOZS: an Object-Oriented Structured Formal Specification Language
8
作者 李刚 缪淮扣 朱关铭 《Advances in Manufacturing》 SCIE CAS 1997年第1期70-74,共5页
OOZS, which stands for 'Object-Oriented Z Structured', is an extension of the formal specification language Z to accommodate object orientation. It extends Z with a number of features that provide support for ... OOZS, which stands for 'Object-Oriented Z Structured', is an extension of the formal specification language Z to accommodate object orientation. It extends Z with a number of features that provide support for object-oriented design and management of specifications of very large systems. In addition to the usual object-oriented structures such as encapsulation into classes and inheritance, OOZS has some distinctive features : the Include facility, Import&Export mechanism, Pre&Post predicate, and the improved Delta&Xi list. This paper gives a brief description of this language. 展开更多
关键词 oozs CLASS SCHEMA specification
下载PDF
基于OOZS的UML类图形式化描述及其应用 被引量:1
9
作者 肖岗 《重庆师范大学学报(自然科学版)》 CAS CSCD 北大核心 2013年第1期67-72,共6页
统一建模语言UML是一种面向对象分析和设计过程中重要的建模工具。但由于UML缺乏精确的形式化语义,不利于对其所描述的需求进行进一步分析和验证。这一点上,形式化方法可与之互补。基于此,本文采用一种面向对象的、基于Z的扩展语言OOZS... 统一建模语言UML是一种面向对象分析和设计过程中重要的建模工具。但由于UML缺乏精确的形式化语义,不利于对其所描述的需求进行进一步分析和验证。这一点上,形式化方法可与之互补。基于此,本文采用一种面向对象的、基于Z的扩展语言OOZS———结构化面向对象形式规格说明语言,对UML的类图进行了形式化描述,寻求一种在软件设计与系统建模过程中UML到OOZS的映射与转换机制,最后给出一个基于OOZS的UML类图的形式化描述实例,结果表明本文的研究工作在实践中是可行的。 展开更多
关键词 面向对象方法 形式化描述 oozs UML 类图
原文传递
OOZE求精技术自动化的探讨 被引量:1
10
作者 袁晓东 陈家骏 郑国梁 《计算机研究与发展》 EI CSCD 北大核心 1998年第2期173-177,共5页
文中立足于一种Z的面向对象扩充广谱语言OOZE,研究其从软件规格说明到可执行程序求精过程中的自动化技术.重点讨论了数据求精技术,对Z中的几种复合数据类型及其嵌套结构、OOZE中的类结构提出了相应的自动求精规则。
关键词 OOZE 数据求精 操作求精 软件工程
下载PDF
Hemostatic effect of topical hemocoagulase spray in digestive endoscopy 被引量:16
11
作者 Tao Wang Dan-Na Wang +6 位作者 Wen-Tian Liu Zhong-Qing Zheng Xin Chen Wei-Li Fang Shu Li Li Liang Bang-Mao Wang 《World Journal of Gastroenterology》 SCIE CAS 2016年第25期5831-5836,共6页
AIM: To evaluate the hemostatic effect of topical hemocoagulase spray in digestive endoscopy.METHODS: Eighty-nine patients who developed oozing bleeding during endoscopic treatment from September 2014 to October 2014 ... AIM: To evaluate the hemostatic effect of topical hemocoagulase spray in digestive endoscopy.METHODS: Eighty-nine patients who developed oozing bleeding during endoscopic treatment from September 2014 to October 2014 at Center for Digestive Endoscopy, Tianjin Medical University General Hospital were randomly divided into either a study group(n = 39) or a control group(n = 50). The study group was given topical hemocoagulase spray intraoperatively, while the control group was given traditional 8% norepinephrine spray. Hemostatic efficacy was compared between the two groups. Bleeding site, wound cleanliness and perforation were recorded, and the rates of perforation and late bleeding were compared.RESULTS: Successful hemostasis was achieved in 39(100%) patients of the study group and in 47(94.0%) patients of the control group, and there was no significant difference in the rate of successful hemostasis between the two groups. Compared with the control group, after topical hemocoagulase spray in the study group, the surgical field was clearer, the bleeding site was more easily identified, and the wound was cleaner. There was no significant difference in the rate of perforation between the study and control groups(16.7% vs 35.0%, P = 0.477), but the rates oflate bleeding(0% vs 15.8%, P = 0.048) and overall complications(P = 0.032) were significantly lower in the study group.CONCLUSION: Topical hemocoagulase spray has a definite hemostatic effect for oozing bleeding in digestive endoscopy, and this method is convenient, safe, and reliable. It is expected to become a new method for endoscopic hemostasis. 展开更多
关键词 HEMOCOAGULASE DIGESTIVE ENDOSCOPY Oozing BLEEDING SPRAY Hemostatic effect
下载PDF
Oozing sub-cutaneous masses due to histoplasmosis in a patient from Mali
12
作者 Yann A.Meunier 《Asian Pacific Journal of Tropical Medicine》 SCIE CAS 2010年第2期158-159,共2页
We presented the case of a 64 year old from Mali who was admitted to the hospital for "oozing sub-cutaneous masses".The diagnosis of African histoplasmosis was established by serology. Several courses of amp... We presented the case of a 64 year old from Mali who was admitted to the hospital for "oozing sub-cutaneous masses".The diagnosis of African histoplasmosis was established by serology. Several courses of amphotericin B resulted in a cure with sequellae. 展开更多
关键词 Oozing Sub-cutaneous MASSES MALI AFRICAN HISTOPLASMOSIS
下载PDF
Discovery of low-mature hydrocarbon in manganese nodules and ooze from the Central Pacific deep sea floor 被引量:7
13
作者 HU Wenxuan JIN Zhijun +5 位作者 YAO Suping LU Xiancai CHEN Zhilin ZHANG Linye ZHANG Xuejun ZHOU Huaiyang 《Chinese Science Bulletin》 SCIE EI CAS 2002年第11期939-944,共6页
Extracts from manganese nodules and ooze from the Central Pacific deep sea floor were analyzed using the chromatogram-mass spectrum, and it was found that most of the biomarker molecules are of the low-mature type (so... Extracts from manganese nodules and ooze from the Central Pacific deep sea floor were analyzed using the chromatogram-mass spectrum, and it was found that most of the biomarker molecules are of the low-mature type (some have characteristics of mature): the ratio of 'A'/C is high between 11.4%-19.75%; CPI is 1.22-1.23; C31-22S/ (22S+22R) hopane is 0.59-0.60, Tm/Ts is 0.99-1.99; pa moretane/(αβ+βα) hopane is 0.12-0.14; C29 sterane 20S/(20S+20R) is 0.35-0.41; ββ/(ββ+αα) is 0.38-0.45; arene TA(I)/TA(I+Ⅱ) is 0.16-0.21; methyl-phenanthrene index (MPI1) is 0.35-0.67. According to the geological settings of the sampling area and its organic geochemical characteristics, it is considered that the hydrothermal activities on the ocean floor facilitate the decomposition of organic matter in the sediment, which leads to the generation and migration of hydrocarbon into manganese nodules and ooze. This discovery is important for understanding the mechanisms of hydrocarbon generation in the ocean floor and 展开更多
关键词 manganese NODULES OOZE BIOMARKER low-mature hydro-carbon.
原文传递
Ichnofabric analysis of bathyal chalks:the Miocene Inglis Formation of the Andaman and Nicobar Islands,India
14
作者 Bhawanisingh G.Desai 《Journal of Palaeogeography》 SCIE CSCD 2021年第4期494-508,共15页
In the Bay of Bengal,the Andaman and Nicobar Islands represent part of the Burma-Sunda-Java subduction complex.The Islands are composed of sediments ranging in age from Jurassic to Recent,represented by ophiolites,fly... In the Bay of Bengal,the Andaman and Nicobar Islands represent part of the Burma-Sunda-Java subduction complex.The Islands are composed of sediments ranging in age from Jurassic to Recent,represented by ophiolites,flysch sediments,along with deep marine sediments scraped off from the subducting plate.The stratigraphic succession that overlies meta-sedimentary and ophiolite suites consists of turbidite and non-turbidite sequences,along with thick-bedded nannofossil chalks.The present study describes ichnofabrics of chalks from the Inglis Formation(Early to Middle Miocene).These chalks are highly to moderately bioturbated and comprise several levels of ferruginised layers as weak discontinuity surfaces.The studied section shows the recurring occurrence of ichnotaxa belonging to Asterosoma,Chondrites,Cladichnus,Ophiomorpha,Palaeophycus,Planolites,Taenidium,Thalassinoides,and Zoophycus.Sediments are represented by Bioturbation indices varying between BI-2 to BI-5,represented by(a)light coloured trace fossils in dark sediment(LID ichnofabric)and(b)dark coloured trace fossils in light sediment(DIL ichnofabric).Ichnofabric analysis suggests multiple colonization,complex tiering,and multilayer tiering.The LID ichnofabric exposed at Kalapathar reveals three tiers,a diverse shallow tier and a moderately low diverse middle and deep tiers.At the Lacam Point Section,in contrast,the LID ichnofabric is represented by condensation of the tiers and the absence of shallow tiers.The DIL ichnofabric at the Kalapathar Section seems to be more expanded and is represented by four tiers with extensive bioturbation.Ichnofabric analysis supports deposition of the chalk sediments in a lower bathyal paleoenvironment and suggests that organic matter,pore water,and bottom-water oxygenation were the main controlling factors.Thus,the ichnofabric analysis of the EarlyMiddle Miocene Inglis Formation gives first-hand information regarding the poorly known chalk facies of the Andaman and Nicobar Islands pre-Bengal fan stage of the Indian plate. 展开更多
关键词 ICHNOFABRIC Nannofossil ooze CHALK BATHYAL Bay of Bengal MIOCENE
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部