Formal validation and requirements management based on the Jackson's reference model for requirements and specifications

被引：0
|
作者：
Collaborative Research Team for Verification, National Institute of Advanced Industrial Science and Technology , Japan [1 ]
机构：
来源：
Proc. - IEEE Pac. Rim Int. Symp. Dependable Comput., PRDC | / 251-252期
关键词：
Compilation and indexing terms; Copyright 2025 Elsevier Inc;
D O I：
5703262
中图分类号：
学科分类号：
摘要：
Formal specification - Formal logic
引用
收藏
相关论文
共 50 条
  • [1] Requirements validation based on the visualisation of executable formal specifications
    Ozcan, MB
    Parry, PW
    Morrey, IC
    Siddiqi, J
    TWENTY-SECOND ANNUAL INTERNATIONAL COMPUTER SOFTWARE & APPLICATIONS CONFERENCE - PROCEEDINGS, 1998, : 381 - 386
  • [2] Reference model for requirements and specifications
    Gunter, Carl A., 2000, IEEE, United States (17)
  • [3] A reference model for requirements and specifications
    Gunter, CA
    Gunter, EL
    Jackson, M
    Zave, P
    IEEE SOFTWARE, 2000, 17 (03) : 37 - +
  • [4] Formal specifications of user requirements
    Clark R.G.
    Moreira A.M.D.
    Automated Software Engineering, 1999, 6 (3) : 217 - 232
  • [5] A reference model for requirements and specifications - Extended abstract
    Gunter, CA
    Gunter, EL
    Jackson, M
    Zave, P
    4TH INTERNATIONAL CONFERENCE ON REQUIREMENTS ENGINEERING, PROCEEDINGS, 2000, : 189 - 189
  • [6] A FORMAL MODEL FOR ANALYZING THE SCR-STYLE REQUIREMENTS SPECIFICATIONS
    Xu Yu
    WuhanUniversityJournalofNaturalSciences, 1998, (02) : 142 - 142
  • [7] A concern-based approach to generating formal requirements specifications
    Jin, Ying
    Zhang, Jing
    Hao, Weiping
    Ma, Pengfei
    Zhang, Yan
    Zhao, Haiyan
    Mei, Hong
    FRONTIERS OF COMPUTER SCIENCE IN CHINA, 2010, 4 (02): : 162 - 172
  • [8] A concern-based approach to generating formal requirements specifications
    Ying Jin
    Jing Zhang
    Weiping Hao
    Pengfei Ma
    Yan Zhang
    Haiyan Zhao
    Hong Mei
    Frontiers of Computer Science in China, 2010, 4 : 162 - 172
  • [9] DEVELOPING FORMAL SPECIFICATIONS FROM INFORMAL REQUIREMENTS
    JOHNSON, WL
    BENNER, KM
    HARRIS, DR
    IEEE EXPERT-INTELLIGENT SYSTEMS & THEIR APPLICATIONS, 1993, 8 (04): : 82 - 90
  • [10] Deriving formal specifications from informal requirements
    Ilic, Dubravka
    COMPSAC 2007: THE THIRTY-FIRST ANNUAL INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE, VOL I, PROCEEDINGS, 2007, : 145 - 152
12345