您的位置： 专家智库 > >

王新苏

作品数：3 被引量：3H指数：1
供职机构：中国科学技术大学计算机科学与技术学院更多>>
发文基金：国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 2篇期刊文章
  • 1篇学位论文

领域

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

主题

  • 3篇形式化
  • 2篇形式化方法
  • 2篇软件形式化
  • 2篇RUP
  • 1篇形式化规范
  • 1篇形式化语言
  • 1篇软件工程
  • 1篇统一软件过程
  • 1篇图形化
  • 1篇图形化开发
  • 1篇自动生成
  • 1篇面向对象

机构

  • 3篇中国科学技术...

作者

  • 3篇王新苏
  • 2篇王煦法
  • 1篇毛晨晓
  • 1篇罗文坚

传媒

  • 1篇中国科学技术...
  • 1篇计算机工程与...

年份

  • 1篇2006
  • 2篇2005
共 3 条 记 录，以下是 1-3
全选 清除 导出
排序方式：
基于RUP和VDM++的软件形式化开发方法的研究被引量：1
2005年
形式化方法是软件开发过程中用于保证软件系统具有高度正确性和可靠性的一个重要手段。但形式化软件规范不直观,不容易被开发人员所接受。该文将较为直观地统一软件过程和VDM++形式化方法结合在一起,提出了一种软件形式化开发方法,并通过开发一个实际的文件设备记账系统说明了该方法的可行性与有效性。
王新苏罗文坚毛晨晓王煦法
关键词：形式化方法统一软件过程
从形式化规范自动生成系统级状态机被引量：2
2006年
形式化方法能精确、无二义地描述软件规范,但其可读性、可理解性差以及缺乏有效的自动测试工具.鉴于此,提出一种新的方法将支持面向对象开发的形式化语言所描述的软件规范自动地转化为系统级状态机,从而改善其可读性与可理解性.实际应用表明,这种方法可以提高形式化规范的可读性与可理解性.
王新苏王煦法
关键词：形式化方法形式化语言面向对象形式化规范
基于RUP和VDM++的软件形式化开发方法的研究
软件工程是计算机学科中一个年轻而充满活力的研究方向，已经成为信息科学高技术竞争的关键领域之一。软件开发过程是一个具有很大不确定性的过程，因此，如何有效提高软件开发的可靠性，是当前软件工程研究的一个重大课题。　　　　 ...
王新苏
关键词：软件工程图形化开发
文献传递
全选 清除 导出
共1页<1>
聚类工具0