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 条
  • [31] Evaluation of Ontology-based Checking of Software Requirements Specification
    Dzung, Dang Viet
    Ohnishi, Atsushi
    2013 IEEE 37TH ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC), 2013, : 425 - 430
  • [32] Software requirements specification: an overview from the theoretical background checking
    Toro, A.
    Galvez, J. G.
    ENTRE CIENCIA E INGENIERIA, 2016, (19): : 108 - 113
  • [33] Model Checking Large Software Specifications Software Engineering
    Software Eng Notes, 6 (156):
  • [34] Using software model checking for software component certification
    Taleghani, Ali
    29TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: ICSE 2007 COMPANION VOLUME, PROCEEDINGS, 2007, : 99 - 100
  • [35] Model checking safety critical software with SPIN: An application to a railway interlocking system
    Cimatti, A
    Giunchiglia, F
    Mongardi, G
    Romano, D
    Torielli, F
    Traverso, P
    COMPUTER SAFETY, RELIABILITY AND SECURITY, 1998, 1516 : 284 - 295
  • [36] Requirements specifications checking of embedded real-time software
    Guoqing Wu
    Fengdi Shu
    Min Wang
    Weiqing Chen
    Journal of Computer Science and Technology, 2002, 17 : 56 - 63
  • [37] Requirements specifications checking of embedded real-time software
    Wu, GQ
    Shu, FD
    Wang, M
    Chen, WQ
    JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2002, 17 (01) : 56 - 63
  • [38] Software model checking for resources race
    Hong Wang
    Tao Zhang
    Cluster Computing, 2017, 20 : 179 - 193
  • [39] Software model checking with abstraction refinement
    Podelski, A
    VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, 2003, 2575 : 1 - 3
  • [40] Parallel Assignments in Software Model Checking
    Stokely, Murray
    Chaki, Sagar
    Ouaknine, Joel
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 157 (01) : 77 - 94
12345