您的位置： 专家智库 > >

广东省教育厅自然科学基金(无)

作品数：1 被引量：2H指数：1
相关作者：袁志斌更多>>
相关机构：广东商学院更多>>
发文基金：广东省自然科学基金广东省教育厅自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇形式化
  • 1篇形式化方法
  • 1篇软件开发
  • 1篇规约

机构

  • 1篇广东商学院

作者

  • 1篇袁志斌

传媒

  • 1篇电脑与电信

年份

  • 1篇2008
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
软件开发的形式化方法被引量：2
2008年
随着计算机及软件系统逐步渗透到社会生活的方方面面,对软件可靠性、安全性和保密性的要求也越来越高.本文阐述了形式化方法的定义、重要性及主要研究内容。着重讨论了形式规约方法,以及演绎证明和模型检测等形式验证方法。
袁志斌
关键词：形式化方法规约
全选 清除 导出
共1页<1>
聚类工具0