返回首页
苏宁会员
购物车 0
易付宝
手机苏宁

服务体验

店铺评分与同行业相比

用户评价:----

物流时效:----

售后服务:----

  • 服务承诺: 正品保障
  • 公司名称:
  • 所 在 地:

  • 正版 可信软件基础研究:英文 可信软件基础研究项目组 浙江大学
  • 新华书店旗下自营,正版全新
    • 作者: 可信软件基础研究项目组著 | 可信软件基础研究项目组编 | 可信软件基础研究项目组译 | 可信软件基础研究项目组绘
    • 出版社: 浙江大学出版社有限责任公司
    • 出版时间:2020-12
    送至
  • 由""直接销售和发货,并提供售后服务
  • 加入购物车 购买电子书
    服务

    看了又看

    商品预定流程:

    查看大图
    /
    ×

    苏宁商家

    商家:
    美阅书店
    联系:
    • 商品

    • 服务

    • 物流

    搜索店内商品

    商品参数
    • 作者: 可信软件基础研究项目组著| 可信软件基础研究项目组编| 可信软件基础研究项目组译| 可信软件基础研究项目组绘
    • 出版社:浙江大学出版社有限责任公司
    • 出版时间:2020-12
    • 版次:1
    • 开本:其他
    • ISBN:9787308227599
    • 国别/地区:中国
    • 版权提供:浙江大学出版社有限责任公司
    • 作者:可信软件基础研究项目组
    • 著:可信软件基础研究项目组
    • 装帧:精装
    • 印次:暂无
    • 定价:68.00
    • ISBN:9787308227599
    • 出版社:浙江大学出版社
    • 开本:其他
    • 印刷时间:暂无
    • 语种:暂无
    • 出版时间:2020-12
    • 页数:暂无
    • 外部编号:12002777
    • 版次:1
    • 成品尺寸:暂无

    何积丰,计算机软件专家,中国科学院院士,华东师范大学软件学院院长、教授、博士生导师。主要从事计算机软件理论及应用研究。

     Software, as an important carrier of information technology, has penetrated all aspects of political, economic, military, cultural, and social lives. However,with the increasing scale of software, software development, integration, and continuous evolution have become increasingly complex. Software defects caused by complexity frequently result in various accidents and even serious disasters.Consequently, research into trustworthy software has become an urgent need for national economic development.

    In 2007, the National Natural Science Foundation of China (NSFC) began implementing the major research plan "The Fundamental Research for Trustworthy Software" (hereinafter referred to as the Plan) in response to the requirements of fundamental research on trustworthy software. It is one of the major research plans launched during the 11th Five-Year Plan (2006-2010), led by the Department of Information Sciences and organized and implemented in collaboration with the Department of Mathematical and Physical Sciences and the Department of Management Sciences. The Plan has lasted 10 years and funded 107 projects totaling 190 million yuan, including 73 fostering projects, 24 key projects, and 5 integrated projects.

    The Plan adopted a management framework that combined the management system supported by the National Natural Science Fund with the system of academic guidance of experts, and established a plan management working group (responsible for the overall review, coordination, and organizational evaluation of major research plan implementation); it also established a research plan management office (affiliated with East China Normal University, responsible for the timely publication of the project status, research progress, and related matters of the research plan to the public, to facilitate the specific implementation and management of the Plan).

    The major Plan focused on four categories of key scientific issues: measurement and modeling of software trustworthiness, construction and verification of trustworthy software, evolution and control of trustworthy software, and trusted environment construction and evaluation. The Plan was aimed to establish a research framework for fundamental research on trustworthy software by focusing on the trustworthiness of embedded software and network application software, as well as the trustworthiness of software in key application fields in China. The research findings revealed the fundamental laws governing the measurement and evolution of software trustworthiness and environment trustworthiness; established methods and key technical systems for the construction, verification, evolution, and control of trustworthy software and its environment; and established a trustworthy software development tool and operational support platform.

    售后保障

    最近浏览

    猜你喜欢

    该商品在当前城市正在进行 促销

    注:参加抢购将不再享受其他优惠活动

    x
    您已成功将商品加入收藏夹

    查看我的收藏夹

    确定

    非常抱歉,您前期未参加预订活动,
    无法支付尾款哦!

    关闭

    抱歉,您暂无任性付资格

    此时为正式期SUPER会员专享抢购期,普通会员暂不可抢购