您的位置： 专家智库 > >

中央高校基本科研业务费专项资金(CCNU11A01012)

作品数：1 被引量：4H指数：1
相关作者：陈明楷毋国庆陈曙叶俊民更多>>
相关机构：湖北省军区武汉大学华中师范大学更多>>
发文基金：中央高校基本科研业务费专项资金湖北省自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇多视点

机构

  • 1篇华中师范大学
  • 1篇武汉大学
  • 1篇湖北省军区

作者

  • 1篇叶俊民
  • 1篇陈曙
  • 1篇毋国庆
  • 1篇陈明楷

传媒

  • 1篇小型微型计算...

年份

  • 1篇2013
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
一种面向软件行为和多视点的需求模型验证方法被引量：4
2013年
软件需求分析是软件开发生命周期中最重要的步骤之一.模型驱动的需求分析方法将需求模型作为需求规格说明的补充,从一个或多个角度对非形式化的需求信息进行正确性验证以发现需求规格中的不一致和不完整性等.本文在一种新型的,基于软件行为和多视点的需求建模方法基础上,依据其构造特点,提出需求模型的分析以及验证方法.该方法主要通过构造模型待验证性质的行为时序逻辑规约,以需求模型对应的有穷状态迁移系统为基础,结合On-The-Fly的方法验证性质规约是否语义满足该状态迁移系统.此外,从命题抽象的角度对该验证方法进行优化.针对该方法实现了模型验证工具原型.
陈曙毋国庆叶俊民陈明楷
关键词：多视点
全选 清除 导出
共1页<1>
聚类工具0