一种实现程序结构化转换的交互式图形工具

来源 :软件学报 | 被引量 : 0次 | 上传用户:leezuo
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文介绍交互式图形工具XYZ/BESE,它能将任意时序逻辑语言XYZ/E的子语言XYZ/BE表示的程序转换成结构化程序,如以XYZ/BE作为中间语言,将将这工具与XYZ与系统中源语言转换系统XYZ/CCSS结合起来,即可将任意其它源语言的程序转换成为结构化程序,本系统是用XYZ/E的交互式图形设计工具XYZ/CFC实现的。结构化转换过程中图形表示,可增加其直观性,使这变换易于理解。
其他文献
目的探讨微卡(母牛分枝杆菌菌苗)治疗肺结核合并糖尿病的疗效。方法将120例肺结核合并糖尿病病人按入院先后顺序分为微卡加化疗组即治疗组,与单纯化疗组即对照组,每组各60例;治疗
沙眼是农村的常见病,我们在农村开展治沙防盲工作中发现,很多沙眼病人都进行过治疗,但治疗效果并不满意。为了探讨治疗失败的原因,为合理治疗提供依据,我们对300例有过治疗史
本文介绍手写印刷体汉字识别方法2-D EAG。主要的工作为:提出了二维扩展属性文法模式识别方法,可实现自底向上归约和自顶向下推导双向信息传递和控制;提出了一种直接利用二维信息进行识别的方式,可避免特征线性化造成的信息丢失;提出了多义文法、共生文法和结构推断三种在文法之间建立联系,利用结构类比区分极相似字的 识别算法;提出了多冗余归约机制,双边缘弹性跟踪笔段抽取算法,多冗余有引导部件抽取算法。用2-
随着社会的快速发展和进步,信息技术已经逐渐融入人们的生活,并且对人们的生活方式和行为产生了巨大的影响。通过在中职院校课堂教学中融入信息技术,能够促使教学过程得到优化,对于提升教学当中的趣味性也具有一定的积极影响,因此需要加以重视。  一、中职院校课堂教学效果差的原因  1.学生兴趣低  中职教育在当前几乎是一种零门槛、设限极低的教育。进入中职院校的学生大多数都是中考当中的落榜生。可以说,这些学生是
职业生涯教育重在体验,在体验中培养学生确立职业目标,提升其作为准职业人的职业素质。本文意在重视学生的作业设计,通过"思诊互通"体验式作业设计和应用,构建中职卫校特色的
COPD是一种气流受限的疾病,气流受限呈进行性加重,在急性加重期(AECOPD)由于感染等多种因素导致了气道黏液高分泌,气道黏液高分泌可导致肺功能的下降,肺通气功能的下降又可使疾病反
PARLOG语言是一种并行逻辑程序设计语言。其关系定义分为单解关系和所有解关系。本文着重讨论PARLOG单解关系基于与/或树模型和进程调度方法的顺序编译实现技术。
我国是结核病高负担国家,结核病人数居世界第二位。艾滋病(HIV/AIDS)的发病率也在上升,艾滋病与结核病互相影响,相互促进疾病发展。我院自2006年1月~2008年1月共收治活动性肺结核病
本文基于传播值的概念,提出了一个新的传播式启发式图搜索算法PRA及PRA,算法PRA是可采纳的,且在运行时间上优于算法RA,本文还基于约束消解的概念,研究了算法RA与PRA之间在运
在本文中,我们引进了算子模糊逻辑中的λ-蕴涵和λ-强蕴涵的概念,λ-逻辑结果和λ-弱逻辑结果的概念。证明了两子句的的λ-归结式是这两个子句的λ-逻辑结果,从而完成了λ-归