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] 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
  • [13] 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
  • [14] Safety analysis of software requirements: model and process
    Li, Shaojun
    Duo, Suo
    3RD INTERNATIONAL SYMPOSIUM ON AIRCRAFT AIRWORTHINESS (ISAA 2013), 2014, 80 : 153 - 164
  • [15] Model Checking of Software for Microcontrollers
    Schlich, Bastian
    ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2010, 9 (04)
  • [16] Model checking: Software and beyond
    Clarke, Edmund M.
    Lerda, Flavio
    JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2007, 13 (05) : 639 - 649
  • [17] Software Model Checking SystemC
    Cimatti, Alessandro
    Narasamdya, Iman
    Roveri, Marco
    IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2013, 32 (05) : 774 - 787
  • [18] Model checking for software architectures
    Mateescu, R
    SOFTWARE ARCHITECTURE, 2004, 3047 : 219 - 224
  • [19] Modular model checking of software
    Laster, K
    Grumberg, O
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, 1998, 1384 : 20 - 35
  • [20] Advances in Software Model Checking
    Siddiqui, Junaid H.
    Rauf, Affan
    Ghafoor, Maryam A.
    ADVANCES IN COMPUTERS, VOL 108, 2018, 108 : 59 - 89
12345