您的位置： 专家智库 > >

刘春秋

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

合作作者

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇形式化
  • 1篇用例驱动
  • 1篇软件需求获取
  • 1篇UML
  • 1篇B方法

机构

  • 1篇扬州大学

作者

  • 1篇郭忠伟
  • 1篇顾爱华
  • 1篇邹盛荣
  • 1篇周塔
  • 1篇彭昱静
  • 1篇卫丽
  • 1篇刘春秋

传媒

  • 1篇现代电子技术

年份

  • 1篇2009
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
软件需求获取形式化的案例研究被引量：2
2009年
软件需求获取是软件建模和分析的基础,传统的软件需求建模方法主要有2个重大的缺陷:一是非形式化的需求描述常导致需求的歧义性和不一致性,因而难以确认和验证;二是易变性。针对此问题,结合实例提出用UML(Unified Modeling Language)的用例驱动获取软件需求,并将得来的需求用形式化B方法的机器来表示需求,实现了软件需求的形式化。实践证明,用例驱动的软件需求获取可以有效地获取正确、合理的软件需求,加上用形式化B方法的需求描述,可以有效地避免上述两大缺陷。
邹盛荣彭昱静郭忠伟刘春秋周塔卫丽顾爱华
关键词：UML用例驱动B方法
全选 清除 导出
共1页<1>
聚类工具0