您的位置： 专家智库 > >

国家教育部博士点基金(20093219120026)

作品数：1 被引量：0H指数：0
相关作者：张功萱张容徐晓刚赵洋更多>>
相关机构：南京理工大学南京大学更多>>
发文基金：国家教育部博士点基金国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇代码
  • 1篇中程序
  • 1篇软件代码

机构

  • 1篇南京大学
  • 1篇南京理工大学

作者

  • 1篇赵洋
  • 1篇徐晓刚
  • 1篇张容
  • 1篇张功萱

传媒

  • 1篇武汉大学学报...

年份

  • 1篇2010
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
可信软件代码中程序标注的使用及类型验证
2010年
程序标注技术能够勾勒程序代码中的各种数据属性和软件行为,提出了使用许可类型系统作为沟通程序标注和程序代码的桥梁,从程序代码的角度分析和验证了程序的安全性,进而提升了整个软件系统的可靠性和可维护性。
赵洋徐晓刚张功萱张容
全选 清除 导出
共1页<1>
聚类工具0