贵州省科学技术基金([2009]2119)
- 作品数：2 被引量：6H指数：1
- 相关作者：谢刚杨波张明义蒋海东林筑英更多>>
- 相关机构：贵州师范大学贵州科学院贵阳学院更多>>
- 发文基金：贵州省科学技术基金国家自然科学基金贵州省教育厅自然科学研究项目更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于形式概念分析的软件子系统构建方法及应用
- 2012年
- 在分析当前软件工程中使用UML方法划分软件子系统方法,存在很大的主观因素的基础上,引入形式概念分析(FCA)理论解决这一不足,通过UML可视化建模得到用例图后生成用例的形式背景,进而构造概念格,最后通过对概念格的分析,完成对软件子系统的划分。
- 蒋海东林筑英
- 关键词：形式概念分析UML用例模型
- 抽象解释理论框架及其应用被引量：6
- 2010年
- 在高度依赖计算机的现代社会,软件(特别是大型实时安全攸关软件)的可靠性成为计算机界和整个社会都非常关注的问题。现有的形式化软件验证工具都不得不通过近似来处理复杂问题中的计算,P.Cousot和R.Cousot提出的抽象解释作为一种在数学模型间进行可靠近似的理论,为各类自动验证工具中不同的近似方法建立起一个统一的形式化框架。抽象解释理论在程序分析和验证研究领域得到了广泛的关注与应用,其应用范围涵盖了程序静态分析、程序变换、程序调试、程序水印等方面。描述了基于程序不动点语义的抽象解释理论框架,并对其近年来的应用现状进行了较为全面的介绍,最后给出了抽象解释理论中尚存在的一些问题及可能的研究方向。
- 杨波张明义谢刚
- 关键词：语义
