检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
机构地区:[1]高可信软件技术教育部重点实验室(北京大学),北京100871 [2]北京大学信息科学技术学院软件研究所,北京100871
出 处:《科学通报》2010年第13期1214-1220,共7页Chinese Science Bulletin
基 金:国家重点基础研究发展计划(编号:2009CB320700);国家自然科学基金(批准号:60821003)资助项目
摘 要:互联网(Internet)的快速发展为信息技术与应用扩展了更为广阔的空间,同时也为传统的软件开发理论、方法和技术带来了一系列的挑战.回顾了现有基于网络的新型计算范型和应用模式.探讨了软件模型、软件运行平台和支撑机制、软件开发方法和软件质量评价与保障体系的现状和发展趋势.讨论并展望了进一步的研究工作.
分 类 号:TP311.5[自动化与计算机技术—计算机软件与理论]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.192