A method and tool for tracing requirements into specifications

被引：12

作者：

Hallerstede, Stefan ^{[1
]}

Jastram, Michael ^{[2
]}

Ladenberger, Lukas ^{[2
]}

机构：

[1] Aarhus Univ, DK-8000 Aarhus C, Denmark

[2] Univ Dusseldorf, Dusseldorf, Germany

来源：

SCIENCE OF COMPUTER PROGRAMMING | 2014年 / 82卷

关键词：

Requirements; Specification; Traceability; Formal modelling; SYSTEMS;

D O I：

10.1016/j.scico.2013.03.008

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

The creation of a consistent system description is a challenging problem of requirements engineering. Formal and informal reasoning can greatly contribute to meet this challenge. However, this demands that formal and informal reasoning and the system description are connected in such a way that the reasoning permits drawing conclusions about the system description. We describe an incremental approach to requirements modelling and validation that incorporates formal and informal reasoning. Our main contribution is an approach to requirements tracing that delivers the necessary connection that links the reasoning to the system description. Formal refinement is used in order to deal with large and complex system descriptions. We discuss tool support for our approach to requirements tracing that combines informal requirements modelling with formal modelling and verification while tracing requirements among each other and into the formal model. (C) 2013 Elsevier By. All rights reserved.

引用

页码：2 / 21

页数：20

共 50 条

[21] Improving the Quality of Requirements in Middleware Requirements Specifications
Uddagiri, Vidyasagar
Eswarachary, Lingachary
Jagadeesan, Manigandan
Kharat, Vishal
2020 28TH IEEE INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE (RE'20), 2020, : 412 - 415
[22] A simplified systematic method of acquiring design specifications from customer requirements
Sun, Nuogang
Zhang, Youyun
Mei, Xuesong
PROCEEDINGS OF THE ASME INTERNATIONAL DESIGN ENGINEERING TECHNICAL CONFERENCES AND COMPUTERS AND INFORMATION IN ENGINEERING CONFERENCE 2007, VOL 6, PTS A AND B, 2008, : 101 - 110
[23] Method for Computing Return Losses Requirements of Devices from System Specifications
Cortes, Carlos
del Casar, Miguel A.
Briso, Cesar
Martin, Alfonso
TELSIKS 2009, VOLS 1 AND 2, 2009, : 576 - 579
[24] A Simplified Systematic Method of Acquiring Design Specifications From Customer Requirements
Sun, Nuogang
Mei, Xuesong
Zhang, Youyun
JOURNAL OF COMPUTING AND INFORMATION SCIENCE IN ENGINEERING, 2009, 9 (03) : 1 - 10
[25] VERIFYING SOFTWARE REQUIREMENTS - A REQUIREMENT TRACING METHODOLOGY AND ITS SOFTWARE TOOL - RADIX
YU, WD
IEEE JOURNAL ON SELECTED AREAS IN COMMUNICATIONS, 1994, 12 (02) : 234 - 240
[26] A Value Estimation Method for Feature-Oriented Requirements Tracing
Ahn, Sangim
Chong, Kiwon
ICHIT 2008: INTERNATIONAL CONFERENCE ON CONVERGENCE AND HYBRID INFORMATION TECHNOLOGY, PROCEEDINGS, 2008, : 159 - 162
[27] Specifications of a method and tool to support the management of systems engineering projects
Baron, Claude
Esteban, Philippe
Xue, Rui
Esteve, Daniel
Malbert, Michel
2014 INTERNATIONAL ICE CONFERENCE ON ENGINEERING, TECHNOLOGY AND INNOVATION (ICE), 2014,
[28] Reference model for requirements and specifications
Gunter, Carl A., 2000, IEEE, United States (17)
[29] OSCILLOSCOPES - THEIR SPECIFICATIONS AND YOUR REQUIREMENTS
REEDER, RN
ELECTRONICS AND POWER, 1977, 23 (01): : 65 - 67
[30] On the construction of specifications from requirements
Li, Zhi
Hall, Jon G.
Rapanotti, Lucia
14th Workshop on Requirements Engineering, WER 2011, 2011, : 431 - 442

← 1 2 3 4 5 →