您的位置： 专家智库 > >

秦立山

作品数：1 被引量：1H指数：1
供职机构：扬州大学信息工程学院更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇形式化
  • 1篇形式化B方法
  • 1篇形式化方法
  • 1篇软件设计
  • 1篇UML
  • 1篇B方法

机构

  • 1篇扬州大学

作者

  • 1篇周秀芳
  • 1篇沙小梅
  • 1篇秦立山

传媒

  • 1篇管理观察

年份

  • 1篇2009
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
基于形式化B方法的软件设计研究被引量：1
2009年
为了提高软件的正确性、稳定性和安全性，本文用形式化B方法来设计软件，简单介绍了B方法及其特点，并用形式化方法描述软件的需求分析，同时将B方法与UML相结合应用在软件开发中，最后以实例分析表明这套方法是可行的。
周秀芳沙小梅秦立山
关键词：B方法形式化方法UML软件设计
全选 清除 导出
共1页<1>
聚类工具0