从软件工程的发展看软件自动化

来源 :软件学报 | 被引量 : 0次 | 上传用户:glory001
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文对软件工程方法学发展各个阶段主要的方法论做了简单的评述,并展望了软件工程今后发展的方向,同时举例说明了以此为指导思想进行软件自动构造的方法。
其他文献
利用语义配价原理和"ICM"理论①,通过对《庄子》中的接触类动词进行语义分类、句法表现分类两个方面的分析,可知《庄子》中的接触类动词是很具有代表性的二价动词,符合二价动
利用收集的60个震源机制解,应用MSATSI软件反演了2015年4月15日内蒙古阿拉善左旗MS5.8级地震的震中周围地区的构造应力场。结果显示:此次地震是发生在走滑体系的背景下,总体应力场的空间不均匀性表现不明显。总体最大主压应力走向N42±7°E,主张应力走向为N58±12.6°W,R值约为0.4。相比于前人的结果,该结果与地震发生震源机制的P、T轴方位更加一致。为揭示余震和主震之间的关系,计算
小写阶段,作文教学一直是语文教学中的老、大、难问题,学生无论是从词汇量还是从语言组织能力上,都有所欠缺。刚刚接触作文的中、高年级学生由于不明白作文的规范性,缺乏生活经验
大数据时代的到来,为研究当代大学生的思想特征和成长需求提供了更加可靠的信息。马克思主义基本原理中的矛盾普遍性和特殊性原理,传播学中的分众传播理论及议程设置理论为大
明年春节“火树银花不夜天”的盛景有可能从京城上空消失。北京市人大常委会目前正在审议一项地方法规,以禁止燃放烟花爆竹。
不久前,北京市消防局在朝阳区老君堂训练场举行了特种消防车辆技术表演大会。大会展示了中日两国无偿资金合作的《北京消防整备计划》的第一期成果,检阅了北京消防部队自三月份
通过模拟土层剖面,采用等效线性化程序,对土体的非线性动力参数—动剪切模量比与阻尼比分别使用实测值、行业推荐值和规范值来计算地表的反应谱,比较地表的地震动峰值与反应
ALOHA算法是射频识别(RFID)系统中普遍使用的防冲突算法,由于标签发送数据具有盲目性,使得系统的吞吐率并不高;因此提出一种基于P—坚持CSMA的防冲突算法,即根据标签发送数据的数量,动态的调整数据帧内某个时隙的标签发送数据概率值p,以提高系统的吞吐率;文中详细阐述了该算法的主要思想,并建立数学模型对算法进行分析;结果表明在识别多个标签时,基于P—坚持CSMA防冲突算法的系统吞吐率明显高于AL
利用山西台网的数字地震观测资料,采用单震多台和达法、多震多台联合测定法,对山西北部、中部和南部地区波速比进行分析研究,结果表明:在2010年1月24日的河津万荣4.8级地震、4
针对油气管网分布偏远,传统无线网络又不能覆盖,以至于管道腐蚀完整性信息不能及时监测的问题,提出了基于北斗通信卫星的油气管网阴极保护无人监控系统;针对阴极保护特点采用ARM