Application of model checking in software requirements analysis

被引：0
|
作者：
Liu, Yuejun [1 ,2 ]
Su, Jing [1 ]
机构：
[1] School of Software Engineering, Anyang Normal University, Anyang, Henan, China
[2] School of Computer Engineering and Science, Shanghai University, Shanghai, China
来源：
Metallurgical and Mining Industry | 2015年 / 7卷 / 08期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：372 / 376
相关论文
共 50 条
  • [11] Representing requirements on generic software in an application family model
    Mannion, M
    Lewis, O
    Kaindl, H
    Montroni, G
    Wheadon, J
    SOFTWARE REUSE: ADVANCES IN SOFTWARE REUSABILITY, 2000, 1844 : 153 - 169
  • [12] Safety analysis of software requirements: model and process
    Li, Shaojun
    Duo, Suo
    3RD INTERNATIONAL SYMPOSIUM ON AIRCRAFT AIRWORTHINESS (ISAA 2013), 2014, 80 : 153 - 164
  • [13] Consistency Checking in Requirements Analysis
    Bendik, Jaroslav
    PROCEEDINGS OF THE 26TH ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON SOFTWARE TESTING AND ANALYSIS (ISSTA'17), 2017, : 408 - 411
  • [14] Automated Software Tool Support for Checking the Inconsistency of Requirements
    Kamalrudin, Massila
    2009 IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, PROCEEDINGS, 2009, : 693 - 697
  • [15] Model Checking of Software for Microcontrollers
    Schlich, Bastian
    ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2010, 9 (04)
  • [16] Tutorial: Software model checking
    Clarke, E
    Kroening, D
    FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2004, 3308 : 9 - 10
  • [17] Modular model checking of software
    Laster, K
    Grumberg, O
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, 1998, 1384 : 20 - 35
  • [18] Advances in Software Model Checking
    Siddiqui, Junaid H.
    Rauf, Affan
    Ghafoor, Maryam A.
    ADVANCES IN COMPUTERS, VOL 108, 2018, 108 : 59 - 89
  • [19] Software model checking with SPIN
    Holzmann, GJ
    ADVANCES IN COMPUTERS, VOL 65, 2005, 65 : 77 - 108
  • [20] On Strings in Software Model Checking
    Hojjat, Hossein
    Rummer, Philipp
    Shamakhi, Ali
    PROGRAMMING LANGUAGES AND SYSTEMS, APLAS 2019, 2019, 11893 : 19 - 30
12345