您的位置： 专家智库 > >

孙茂华

作品数：1 被引量：3H指数：1
供职机构：上海大学计算机工程与科学学院更多>>
发文基金：上海市科学技术委员会资助项目上海市教育委员会重点学科基金国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇定理
  • 1篇定理证明
  • 1篇数据库
  • 1篇数据库交互
  • 1篇逆向工程
  • 1篇WEB应用
  • 1篇Z规格说明

机构

  • 1篇上海大学
  • 1篇上海市计算机...

作者

  • 1篇缪淮扣
  • 1篇高洪皓
  • 1篇孙茂华

传媒

  • 1篇计算机工程

年份

  • 1篇2012
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
Web应用中数据库交互行为验证被引量：3
2012年
采用定理证明和逆向工程的方法,对Web应用中的数据库交互行为进行验证。使用Z规格说明描述需求模型,根据数据库交互的源代码和转换规则得到实现模型。从实现模型中获取Web应用的相关性质,通过Z/EVES定理证明器验证这些性质是否在需求模型的Z规格说明中得到满足。在此基础上,设计该方法的验证框架,并开发相应的原型系统。通过图书馆数据库管理系统实例证明该方法的有效性。
孙茂华缪淮扣高洪皓
关键词：Z规格说明数据库交互逆向工程定理证明
全选 清除 导出
共1页<1>
聚类工具0