High-confidence software evolution

来源 :Science China(Information Sciences) | 被引量 : 3次 | 上传用户:macg27
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
Software continues to evolve due to changing requirements, platforms and other environmental pressures. Modern software is dependent on frameworks, and if the frameworks evolve, the software has to evolve as well. On the other hand, the software may be
其他文献
2015年国庆休假的一天,当一本制作精美、散发着油墨香的专著展现在我眼前的时候,我是赞许中带着诧异。这是一本研究"一带一路"战略与区域开发开放、42万字加上硬壳包装的专著——《一带一路"战略与区域开发开放——基于江苏实践的研究》,看上去有些厚重,作者是古龙高与他的研究团队成员古璇、赵巍。赞许,是因为这本书已经是2010年以来这个研究团队出版的第三本专著;诧异,是因为"一带一路"战略从提出到这本42
期刊
模式:格局巨变,从"我"到"我们"互联网时代的今天,传播模式一日千里,瞬间格局巨变。平凡的创意,随时被爆炸的资讯淹没。只有极少数的大创意,能在内容泛滥的多屏大潮中,依然屹立不倒、掷地有声。互联网时代的大创意,不再像传统广告传播时代强调"我",而是"我们"。不再是站在企业的本位角度,向消费者单向传达诉求;而是和消费者一起,实现双向沟通、互动。不再是企业单打独斗式的自我宣
期刊
21世纪海上丝绸之路是中国与沿线国家共同的振兴之路,是亲和之路、互利共赢之路。我国海外华侨众多,在"一带一路"战略的背景下,侨乡祖籍地的社会网络对于实现与"一带一路"沿线的合作有着明显的优势,可以为实现与沿线国家间的合作与对话,以社会网络促进侨乡地与沿线国家的政治、经济、文化交流。一、引言2013年9月7日,习近平主席在哈萨克斯坦发表重要演讲,首次提出了加强政策沟通、道路联通、贸易畅通、货币流通、
期刊
古海州地四五万年前就有人类在此繁衍生息,七千年前称"夷方"、"人方"。《尚书·禹贡》说全国有九州,古海州属九州之徐州。秦始皇于公元前221年设为朐县,南朝宋泰始六年(470年)侨置青、冀州,北朝东魏武定七年(549年)始称"海州",辖6郡19县,地域广大,今之江苏省东海、灌云、灌南、干于、涟水、响水、沐阳等县都曾是古海州的属地。古海州历史可谓大久矣!在古海州大地上的淮北盐,也有很古老的
期刊
7月24日,2016年第三次G20财长和央行行长会议与会代表在四川成都合影。为期两天的会议主要讨论了当前全球经济形势,"强劲、可持续和平衡增长框架",国际金融架构,投资和基础设施,金融部门改革,国际税收合作,绿色金融,气候资金和反恐融资九大议题,并核准了各议题下的主要成果。
期刊
国务院总理李克强主持召开国务院常务会议,提出推动组建动力电池创新平台、加快充电设施建设、扩大城市公交等领域新能源汽车应用比例等一系列政策措施,旨在进一步支持新能源汽车产业发展,推动产业迈向中高端。会议指出,发展新能源汽车,推动产业迈向
期刊
利用甘薯品种‘烟薯25’的茎尖为外植体,平阳霉素作为诱变剂添加于培养基中进行离体诱变培养。4周后,将形成的愈伤组织转移到不添加平阳霉素的诱导培养基上继续培养,直到形成不定芽。当不定芽长到2 cm以上后,从基部切下扦插于MS基本培养基上,促使其长成完整植株。将再生植株经驯化后移栽田间,收获期观察发现有3株明显发生变异,其中一株(P-1)薯块表面光滑无暴筋,另一株(P-2)暴筋很轻,而诱变亲本暴筋严重
期刊
Zircon U-Pb dating, Lu-Hf isotopic and geochemical data for the Silurian rhyolites from the Loei fold belt are presented to constrain their petrogenesis and tectonic settings. The rhyolites give a wei
期刊
Measuring mobile calls data is an increasingly import issue,which will benefit to the understanding of the behavior of mobile users and assist telecom operators to optimize their business strategies.T
期刊
While positive feedback exists in an active vibration control system,it may cause instability of the whole system.To solve this problem,a feedforward adaptive controller is proposed based on the Filte
期刊