高可靠软件研究:向信息技术的未来投资   总被引：1，自引：0，他引：1       下载免费PDF全文

林惠民 《中国科学院院刊》2002,17(6):404-406

随着社会对信息技术的依赖性日益增长,如何提高处于信息技术核心的计算机软件的可靠性成为一个紧迫的问题。测试仍然是目前工业界广泛采用的确认软件是否正确可靠的主要手段,而形式化方法被认为是非常有希望的新途径。高可靠软件的研究将直接影响到下一代软件技术的形成。  相似文献   

基础研究与战略性新兴产业发展          下载免费PDF全文

欧阳钟灿  甘子钊  林惠民  吴硕贤  李衍达  张杰  王占国  王阳元  吴德馨  屠海令  陈涌海  黄如  叶甜春  刘明  谢常青  陈大鹏  王文武  夏洋  李超波  常青  肖清华  谢良志  邵荣光  杜杰  马宁宁  王阳  邱勇  黎明  戴陆如  郑木清  安晖  任爱光  高宏玲  李树翀  宋宇  颜贤权  丁滨  林宏侠 《中国科学院院刊》2012,27(6):697-701

2008年全球金融危机爆发,美国虚拟经济导致的产业空心化弊端给世界各国经济发展模式敲响了警钟,各国纷纷调整科技发展规划,抢占创新制高点,选择发展各自优势新兴产业。如奥巴马政府颁布《重整美国制造业框架》,欧盟发展绿色经济的《第七框架计划》。  相似文献