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 条

[31] WORKADAY SOFTWARE REQUIREMENTS SPECIFICATIONS
POSTON, RM
IEEE SOFTWARE, 1985, 2 (05) : 63 - 65
[32] On the systematic transformation of requirements to specifications
Li, Zhi
Hall, Jon G.
Rapanotti, Lucia
REQUIREMENTS ENGINEERING, 2014, 19 (04) : 397 - 419
[33] A reference model for requirements and specifications
Gunter, CA
Gunter, EL
Jackson, M
Zave, P
IEEE SOFTWARE, 2000, 17 (03) : 37 - +
[34] Formal specifications of user requirements
Clark R.G.
Moreira A.M.D.
Automated Software Engineering, 1999, 6 (3) : 217 - 232
[35] AMPLIFIERS - A LOOK AT REQUIREMENTS AND SPECIFICATIONS
TILLETT, GW
AUDIO, 1971, 55 (04): : 32 - &
[36] Measuring inconsistency in requirements specifications
Mu, KD
Jin, Z
Lu, RQ
Liu, WR
SYMBOLIC AND QUANTITATIVE APPROACHES TO REASONING WITH UNCERTAINTY, PROCEEDINGS, 2005, 3571 : 440 - 451
[37] On the systematic transformation of requirements to specifications
Zhi Li
Jon G. Hall
Lucia Rapanotti
Requirements Engineering, 2014, 19 : 397 - 419
[38] THE GROWING HIP - SPECIFICATIONS AND REQUIREMENTS
DIMEGLIO, A
KAELIN, A
BONNEL, F
DEROSA, V
COUTURE, A
JOURNAL OF PEDIATRIC ORTHOPAEDICS-PART B, 1994, 3 (02): : 135 - 147
[39] Modeling of requirements tracing
Heindl, Matthias
Biffil, Stefan
BALANCING AGILITY AND FORMALISM IN SOFTWARE ENGINEERING, 2008, 5082 : 267 - +
[40] Complementarity in Requirements Tracing
Wang, Wentao
Niu, Nan
Alenazi, Mounifah
Savolainen, Juha
Niu, Zhendong
Cheng, Jing-Ru C.
Xu, Li Da
IEEE TRANSACTIONS ON CYBERNETICS, 2020, 50 (04) : 1395 - 1404

← 1 2 3 4 5 →