您当前的位置：
首页 >
文章列表页 >
基于时间事件因果关系检测的工业软件的需求确认方法
更新时间：2024-06-20
|

    • 基于时间事件因果关系检测的工业软件的需求确认方法

    • Checking of Timed Casual Relation of Events for Requirements Validation of Industrial Software

    • “在工业软件研发领域，专家提出了一种基于时间事件因果关系检测的需求确认方法，通过定义时间事件因果关系、抽取系统行为生成CCSL规约，并结合模型检测技术与社区发现算法，有效检测系统行为是否满足利益相关者期望，为工业软件需求确认提供了创新解决方案。”
      ”
    • 武汉大学学报（理学版）   2024年70卷第3期 页码：302-316

    • DOI：10.14188/j.1671-8836.2023.0208    

      中图分类号： TP311.5;TN311

    • 纸质出版日期：2024-06-24，

      收稿日期：2023-08-30，

    扫 描 看 全 文

  • 尹玲，陈小红，安冬冬， 等.基于时间事件因果关系检测的工业软件的需求确认方法［J］.武汉大学学报（理学版），2024，70（3）：302-316. DOI：10.14188/j.1671-8836.2023.0208. DOI：

    YIN Ling，CHEN Xiaohong，AN Dongdong，et al.Checking of Timed Casual Relation of Events for Requirements Validation of Industrial Software ［J］.J Wuhan Univ （Nat Sci Ed），2024，70（3）：302-316. DOI：10.14188/j.1671-8836.2023.0208（Ch）. DOI：

  •  
  •  

0

浏览量

12

下载量

0

CSCD

文章被引用时，请邮件提醒。
提交
工具集
下载
参考文献导出
分享
收藏
添加至我的专辑

相关文章

面向软件行为的多视点需求建模方法
基于模型检测的软件安全性验证方法
基于模型检测的可信软件栈测试

相关作者

谢越
安冬冬
陈小红
黄勃
毋国庆
姚昱
袁梦霆
程铭

相关机构

武汉大学计算机学院
武汉大学深圳研究院
同济大学电子与信息工程学院
武汉理工大学计算机科学与技术学院
武汉大学空天信息安全与可信计算教育部重点实验室
批量引用
0