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期

关键词：

D O I：

5703262

中图分类号：

学科分类号：

摘要：

Formal specification - Formal logic

引用

共 50 条

[31] A Formal Technique for Concurrent Generation of Software's Functional and Security Requirements in SOFL Specifications
Emeka, Busalire
Liu, Shaoying
STRUCTURED OBJECT-ORIENTED FORMAL LANGUAGE AND METHOD (SOFL+MSVL 2019), 2020, 12028 : 13 - 28
[32] Toward a better integration of requirements and model-based specifications
Lebeaupin, Benoit
Rauzy, Antoine
SYSTEMS ENGINEERING, 2020, 23 (06) : 751 - 769
[33] Validation of Requirements for Hybrid Systems: a Formal Approach
Cimatti, Alessandro
Roveri, Marco
Susi, Angelo
Tonetta, Stefano
ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 2012, 21 (04)
[34] Tools for formal specification, verification, and validation of requirements
Heitmeyer, C
Kirby, J
Labaw, B
COMPASS '97 - ARE WE MAKING PROGRESS TOWARDS COMPUTER ASSURANCE?, 1997, : 35 - 47
[35] From Extraction of Logical Specifications to Deduction-Based Formal Verification of Requirements Models
Klimek, Radoslaw
SOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2013, 2013, 8137 : 61 - 75
[36] Pragmatic consistency management in industrial requirements specifications
Scheffczyk, J
Borghoff, UM
Birk, A
Siedersleben, J
SEFM 2005: THIRD IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PROCEEDINGS, 2005, : 272 - 281
[37] Deduction-Based Formal Verification of Requirements Models with Automatic Generation of Logical Specifications
Klimek, Radoslaw
EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING, ENASE 2012, 2013, 410 : 157 - 171
[38] Requirements management: a representation scheme for product specifications
McKay, A
de Pennington, A
Baxter, J
COMPUTER-AIDED DESIGN, 2001, 33 (07) : 511 - 520
[39] Scenario-based techniques for supporting the elaboration and the validation of formal requirements
Heymans P.
Dubois E.
Requirements Engineering, 1998, 3 (3-4) : 202 - 218
[40] Requirements, domain and specifications: A viewpoint-based approach to requirements engineering
Silva, A
ICSE 2002: PROCEEDINGS OF THE 24TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, 2002, : 94 - 104

← 1 2 3 4 5 →