【摘 要】
：
随着信息技术的飞速发展,软件系统无处不在,其应用形态呈现出泛在化、社会化、情境化、智能化等特征,软件正逐步成为人类社会不可或缺的基础设施.软件学科的发展是显而易见的
【机 构】
：
北京理工大学计算机学院,高可信软件技术教育部重点实验室（北京大学）,北京大学信息科学技术学院软件所,中国科学院,发展中国家科学院,欧洲科学院,北京理工大学,教育部重点实验室,CCF软件工程专委会
论文部分内容阅读
随着信息技术的飞速发展,软件系统无处不在,其应用形态呈现出泛在化、社会化、情境化、智能化等特征,软件正逐步成为人类社会不可或缺的基础设施.软件学科的发展是显而易见的,体现在系统规模越来越大,所解决的问题越来越复杂,交互对象越来越多样,人们寄予越来越高的可靠性要求.现在,人机物融合应用模式的不断深入,“泛在系统”和“软件定义”也成为呼之欲出的着力点.这孕育了软件学科的新的增长点,也给软件方法和技术带来了新的挑战.“以史为镜,可以知兴替”,为了更好地把握时机,迎接挑战,有必要重新审视软件学科中典型方法和技术的
其他文献
阐述了信宜市钱排河应急修复工程中河道水面线的研究,其中包含两种河道水力学模型计算,并对结果进行了初步分析,最后提出了模型在工程实际应用中的结论和今后进一步研究的展
文章从博弈论的角度,对＂阳光体育工程＂开展过程中存在的困境的现实作出了理论诠释,对其产生的原因给予了审思,认为＂阳光体育工程＂要走出困境不是仅靠各种体育活动的简单开展和组
为贯彻落实国家卫生部《关于印发〈各级疾病预防控制机构基本职责〉、〈疾病预防控制工作绩效考核标准的通知〉》和《福建省卫生厅关于开展疾病预防控制绩效考核工作的通知》
我国农村医疗卫生体制改革从总体上看成效甚微，农村卫生工作仍比较薄弱，存在较多问题，面临着很多新的挑战。因此，在深化农村医疗卫生体制改革的背景下，应该结合各地农村的实际情况