【摘 要】
：
我们正在经历一场软件开发方式的变革.在这场变革中,互联网承担了双重角色:一方面,互联网形成了一个开放、动态、持续演化的软件运行环境,极大地增加了软件系统的规模和复杂
【机 构】
：
高可信软件技术教育部重点实验室(北京大学); 北京大学信息科学技术学院软件研究所; 北京理工大学计算机学院;
【基金项目】
：
国家自然科学基金(批准号:61690200,61432020);国家重点基础研究发展计划(973)(批准号:2015CB352201)资助项目
论文部分内容阅读
我们正在经历一场软件开发方式的变革.在这场变革中,互联网承担了双重角色:一方面,互联网形成了一个开放、动态、持续演化的软件运行环境,极大地增加了软件系统的规模和复杂性,为软件开发带来了新的挑战;另一方面,在"将计算机互联"和"将物品互联"两种基础角色之上,互联网正在展现出"将智能互联"的崭新角色,促成了群体智能现象在各种问题领域中的出现和快速发展,为解决软件开发面临的本质性困难提供了一种潜在的创新性解决方案.本文从可行性、实践现状、问题与挑战等几个方面对基于互联网群体智能的软件开发进行了概要性的论述和分析,并对其理想形态进行了初步的探索.我们希望通过这些论述和分析,能够为软件工程领域的研究者对相关问题及其研究实践现状的理解提供一种有价值的观察视角,为软件工程在互联网环境下的创新性发展贡献一些可能有用的信息和观点.
其他文献
国内越来越重视裁判文书说理的研究,但对于中国传统裁判中的说理方法,却尚未引起学者们足够的注意。纵观中国古代法律史,唐宋处于中国古代判词显著发展时期,白居易之《甲乙判》属于骈散结合的拟判,是时代造就的优秀产物,包括其参加书判拔萃科考试的判词“毁方瓦合判”在内,共有一百零一篇。白判虽是拟判,但其判题紧扣社会现实问题,在唐代流传于时,被作为竞相效仿的摹本,对当时的司法实践产生了重要影响。白居易《甲乙判》
苹果矮密集约化栽培是当今世界苹果栽培的主流，矮化苹果栽培具有结果早、单位面积产量高、果实品质好、便于管理、用工少、生产成本低、果园经济效益高等优点。近年来，笔者通过
当直接电阻点焊铝合金和高强钢时,由于铝/钢界面形成的金属间化合物是承载的主要部位,导致接头力学性能大大下降。而电阻单元焊(Resistance element welding,REW)工艺,通过把接头的主要承载部位转换为同种材料的连接,巧妙的避开了异种金属直接电阻点焊时容易产生脆硬相的问题,使承载区域变成了钢制铆钉与下层钢板形成的熔核,从而提高了接头的力学性能。这使得电阻单元焊工艺在轻量化的大背景