一种有效的形式描述技术:GE-LOTOS

来源 :内蒙古大学学报(自然科学版) | 被引量 : 0次 | 上传用户:wyswyswys
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
利用面向对象程序设计语言 Java完善从文体 LOTOS到 GE-LOTOS的工具软件 ,使得以抽象层形式体现出来的 GE-LOTOS的某一子过程或所有子过程动态展开 .而且为了方便用户 ,满足工业界和其它领域的要求 ,给出了一个从 GE-LOTOS到 E-LOTOS描述的一个算法 . Utilizing Object-Oriented Programming Language Java to perfect the utility software from LOTOS to GE-LOTOS, make it possible to dynamically expand some or all of the sub-processes of GE-LOTOS in the form of abstraction layer, and to satisfy users in industry And other fields, an algorithm described from GE-LOTOS to E-LOTOS is given.
其他文献
目的:探讨妇产科应用抗生素类药物进行预防的效果。方法选取医院收治的80例妇产科手术患者为研究主体,随机分组,对照组实施常规抗生素治疗,实验组实施预防性抗生素治疗。结果实验
【摘要】在网络信息爆炸的时代,图书馆要想跟上经济与社会发展的步伐,就必须进行信息服务的改革与创新,否则就会被淘汰。本文首先对现阶段图书馆信息服务中的数据检索服务、资料借还服务、网络化的咨询服务等主要内容进行了介绍。其次根据其发展现状分析了当前图书馆信息服务存在的问题,包括信息管理技术不健全和对信息服务技术的使用上的不足,以及图书馆本身存在的一些缺陷等。最后,本文着重对我国图书馆信息服务的创新策略进
最近,外经贸部、科技部、国家经贸委、信息产业部联合发布.
近年来 CERNET有了长足的发展 ,越来越多的院校和科研部门连入了 CERNET.网络计费是 CERNET上一个十分迫切和关键的问题 ,目前已有许多种计费系统 ,但大多数计费都是基于 IP
由财政部发布的对房地产开发中借款费用的会计核算的四个组成部分资本化的金额作出了不同的规定.这对规范房地产借款费用的会计核算,提高会计信息质量,遏制企业的操纵行为具
目的:了解高血压患者接受盐酸贝那普利联合酒石酸美托洛尔治疗的临床疗效。方法随机选取本院2011年至2013年应用盐酸贝那普利联合酒石酸美托洛尔治疗的高血压患者50例,设为观察
【摘要】随着我国现代化社会进程不断推进,信息化的时代特征格外明显。人们的阅读习惯和浏览方式都在一定程度上发生了改变。在信息化的背景下,人们能够借助网络工具来寻找不同种类的书籍和资料,这种情况给图书馆工作造成了一定的影响,而且也使图书馆内书籍管理工作面临着新的难题。因此,应该改善和提高图书馆的管理资料的工作水平,更好地服务于社会和人民。  【关键词】信息化时代;图书资料管理;创新  随着信息技术的不
受到当前经济形势的影响,各个企业之间的竞争场面越加激烈,同时也为企业在新时期的发展带来了不少阻碍.在企业主体所进行的管理行为中,金融管理作为其中的重要组成部分,产生
目的:研究替硝唑合剂在老年人牙体牙髓病的治疗过程中所产生的效果以及其所引起的不良反应、有无副作用等。方法选取2012年5月至2013年6月份在我院进行治疗的患有牙体牙髓病的