您的位置： 专家智库 > >

万黎

作品数：11 被引量：16H指数：4
供职机构：武汉大学更多>>
发文基金：国家高技术研究发展计划湖北省自然科学基金国家自然科学基金更多>>
相关领域：自动化与计算机技术电气工程更多>>

合作作者

文献类型

  • 4篇期刊文章
  • 3篇专利
  • 2篇学位论文
  • 1篇会议论文
  • 1篇科技成果

领域

  • 7篇自动化与计算...
  • 1篇电气工程

主题

  • 4篇可视化
  • 2篇用户
  • 2篇用户反馈
  • 2篇语言
  • 2篇知识
  • 2篇视点
  • 2篇描述语言
  • 2篇可视化方法
  • 2篇背景知识
  • 1篇需求建模方法
  • 1篇暂态
  • 1篇暂态稳定
  • 1篇软件开发
  • 1篇软件系统
  • 1篇自动检测系统
  • 1篇问题域
  • 1篇系统特性
  • 1篇协调控制
  • 1篇零动态
  • 1篇模型可视化

机构

  • 11篇武汉大学
  • 1篇武汉科技大学
  • 1篇中国民生银行

作者

  • 11篇万黎
  • 9篇毋国庆
  • 5篇吴怀广
  • 4篇吴昊
  • 4篇姚昱
  • 4篇黄勃
  • 2篇李琳
  • 2篇袁梦霆
  • 2篇陈曙
  • 1篇李琳
  • 1篇肖晶

传媒

  • 1篇计算机研究与...
  • 1篇计算机学报
  • 1篇计算机工程与...
  • 1篇计算机科学
  • 1篇2009年全...

年份

  • 1篇2016
  • 1篇2013
  • 2篇2012
  • 3篇2011
  • 3篇2009
  • 1篇2008
共 11 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
一种软件需求描述语言的设计与实现被引量：6
2009年
提出了一种面向软件行为的需求建模方法和需求描述语言BDL,介绍了需求描述语言的设计和实现方法。利用此需求建模可以根据用户的需求信息寻找出目标系统的有效行为,建立目标系统的行为模型。该行为模型可以帮助用户和开发人员正确认识和理解目标系统的行为,而且能为以后自动检测系统的各种特性提供良好的基础。
姚昱毋国庆吴怀广万黎
关键词：需求建模方法
面向复杂软件系统的需求工程建模方法及其工具系统
毋国庆袁梦霆姚昱陈曙万黎吴怀广吴昊黄勃
面向复杂软件系统的需求工程建模方法及其工具系统主要为软件开发人员提供有效实用的软件需求分析方法和工具，适用不同的计算机应用领域和不同类型的软件系统的需求开发工作。面向复杂软件系统的需求工程建模方法是基于多视点和软件行为的...
关键词：
一种面向行为的软件需求模型可视化方法
本发明涉及一种面向行为的软件需求模型可视化方法。由于需求动画的实现与需求建模方法和需求模型密切相关，故首先研究基于软件行为的需求建模方法和行为描述语言，以建立基于软件行为的需求模型。其次，研究和建立从需求模型到需求动画描...
毋国庆吴昊黄勃万黎李琳
文献传递
面向行为的需求建模研究及实现被引量：8
2011年
需求建模是需求工程中的重要步骤。提出了一种面向行为的需求建模方法,首先将目标系统问题域划分成多个子问题域,然后在子问题域里建立多个视点,在每个视点内,根据需求建立多个场景。对于每个场景,用行为描述语言建立场景行为模型,视点内所有场景的行为模型组合构成视点行为模型,目标系统所有视点的行为模型组合构成系统行为模型。在行为模型的基础上,提出了一系列特性以及其验证方法,用于验证行为模型的正确性以及系统特性。基于以上方法,设计和实现了面向行为的需求建模工具(BRMT),以辅助开发人员从行为的角度进行需求建模。
万黎毋国庆吴怀广
关键词：视点
一种建立软件需求模型的方法
一种建立软件需求模型的方法，包括为问题域标识和定义视点；为每一个与待开发软件系统相关的视点建立场景；使用行为描述语言建立系统需求模型；检测所有的视点；若检测结果为发现问题则修改相应的场景行为模型或视点行为模型并返回重复检...
毋国庆姚昱袁梦霆万黎肖晶
文献传递
电力系统分散协调控制中的非线性控制和并行计算方法研究
万黎
关键词：暂态稳定变结构控制协调控制零动态并行计算
面向软件行为的需求模型及特性检测被引量：8
2011年
软件需求模型及其检测是软件需求工程中的重要工作.在分析现有需求建模方法和软件行为相关研究的基础上,对将软件行为概念引入需求模型进行了详细的阐述,提出一个面向软件行为的需求模型描述语言BDL(behavior description language),定义了它的语法、语义;讨论了CCS(calculus of communication system)与BDL的转换关系,构造了BDL到CCS的转换函数M〖-〗;给出了需求模型的系统一致性、系统安全性、行为可信性及行为非终止性等4种系统特性的时序逻辑描述;最后用模型验证工具CWB(Concurrency Work Bench)对BDL描述的具体实例进行验证分析.
吴怀广毋国庆陈曙万黎
关键词：系统特性
一种软件需求描述语言的设计与实现
提出了一种面向软件行为的需求建模方法和需求描述语言BDL,介绍了需求描述语言的设计和实现方法.利用此需求建模可以根据用户的需求信息寻找出目标系统的有效行为,建立目标系统的行为模型.该行为模型可以帮助用户和开发人员正确认识...
姚昱毋国庆吴怀广万黎
关键词：描述语言软件开发自动检测系统
文献传递
需求模型的可视化方法与理论研究
在软件开发的实践过程中,人们越来越清楚地认识到软件需求工程是软件开发的瓶颈。软件需求工程由一系列与软件需求相关的活动组成,其中一个重要过程是需求建模。需求建模的工作就是导出目标软件系统的需求模型。借助于需求模型,开发人员...
万黎
关键词：可视化
文献传递网络资源链接
一种面向行为的软件需求模型可视化方法
本发明涉及一种面向行为的软件需求模型可视化方法。由于需求动画的实现与需求建模方法和需求模型密切相关，故首先研究基于软件行为的需求建模方法和行为描述语言，以建立基于软件行为的需求模型。其次，研究和建立从需求模型到需求动画描...
毋国庆吴昊黄勃万黎李琳
文献传递
全选 清除 导出
共2页<12>
聚类工具0