软件研制环境的分析

来源 :计算机科学 | 被引量 : 0次 | 上传用户:nxbys
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
软件研制环境目前是作为解决像高成本和隐藏错误之类的软件研制问题的一种方法提出的。这类环境对于组织程序设计过程,使之更可靠和无错,有着巨大潜力,是软件工业最需要的技术之一。它的出现使程序设计自动化的研究达到了又一新的高度。用户可利用程序设计语言和工具方便设计、调试和修改、维护程序,以提高程序设计自动化的水平。本文提出软件研制环境的定义,并讨论了成本、效益和用户等方面的主要动向及其本身存在的问题。
其他文献
湖泊型水生态功能分区是以流域数字高程模型(DEM)为底图,通过水文分析划分出目标流域的自然水文单元和水系,借助流域综合调查资料确定水生态功能分区,也是地学分区面向生态环境领域的发展和应用。基于GIS技术,将研究区7大主要河流水系图、DEM、生态系统服务价值总量图、归一化植被指数(NDVI)图、土地利用类型图等进行统一处理为栅格单元相同的栅格图,使用GS+软件计算各指标要素的空间自相关距离,从而得到
期刊
介绍选矿厂浮选柱分选现状,针对直冲式浮选柱在胶磷矿反浮选作业中存在的分选效果不稳定问题,将直冲式充气方式调整为管流混合方式,有效地提升矿化效果,一次反浮选抛尾量从10.49%提高到15.92%,脱镁率从29.91%提高到50.93%,缓解了后续作业压力。
期刊
期刊
<正>近年来,随着电子产品的不断发展与普及,近视成为困扰人们的一个普遍问题,并呈现高发、低龄化趋势。中医认为,近视与患者脏腑功能偏盛偏衰、先天禀赋不足、久视伤血、劳瞻竭视以及脾胃虚弱等多种因素有关,并认为可采取以下对策:穴位按摩中医推拿按摩相关穴位,可以调整气血运行,疏通经络,促进周身气血流通,从而改善眼部血液循环,缓解眼肌疲劳,改善眼睛调节功能。
期刊
<正>4月28日,经农业农村部农业机械化管理司同意,由广西农业农村厅、广西农机中心、崇左市人民政府主办的“云上”农机-全国甘蔗生产机械化“补短板促全程”现场推进活动在享有中国糖都的崇左市扶绥县举办,全程采取线上方式直播宣传。活动首先由广西崇左市人民政府副市长冉光富致欢迎词,广西农业农村厅农机处处长陈锡诗致辞,广西农机中心副主任、二级巡视员江垣德宣布活动正式启动。
期刊
新时代,传统固化的体育教育模式已经难以满足新时代社会和大学生发展需求,也难以充分发挥出体育教育功能,对大学生专业知识和综合素质培养产生了反向影响。在此环境下,体育游戏深受关注,并获得广泛应用。基于此,阐述了体育游戏的基本特征及其在高校体育教学中的作用,介绍了高校体育教学中的体育游戏应用原则,提出了高校体育教学中的体育游戏应用策略。体育教师应积极尝试在教学活动中应用体育游戏,建设完善且新颖的游戏化教
期刊
在节能减排要求下,在本世纪中氢能作为环保能源已经成为最佳替代能源。而作为储氢载体的液体燃料甲醇,其拥有制氢过程简单、运输储存成本低、能量密度高、可靠安全等优势,现阶段已经是首选富氢燃料。基于此,本文将首先简单介绍变压吸附技术,然后探讨甲醇制氢变压吸附提纯工艺方案,希望能够进一步优化甲醇制氢工艺。
期刊
作为文学IP生产者,桐华自2005年在晋江原创网连载第一部言情小说《步步惊心》开始,就凭借其强大的影响力被持续关注,作品《步步惊心》《云中歌》《最美的时光》等也先后被搬上荧幕。其在赚得盆满钵满的同时,还赢得巨大的名望,可谓名利双收。桐华作为网络小说言情类型颇具声望的作家,我们不应局限于对其作品进行内部的文本分析与评价,更应将其置于文学生产视野当中,对其网络小说的生产、传播、接受及线下出版与改编展开
学位
报纸
“快乐读书吧”是统编版语文教材编制的一大创新。在统编语文教材之前,整本书阅读一般都放在课外实践,并没有真正以“教材内容”的形式进入到课程体系。“快乐读书吧”的设置,其实向我们传递了一个信号,“多读书,好读书,读好书,读整本书”,这体现了新教材对整本书阅读的重视。“快乐读书吧”的设置,对学生读整本书提出了更具体的阅读要求,提供了更具体的学习支架,打开了更广阔的学习天地。
期刊