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 条

[41] New Refinement Relations of Z Specifications for Multiple Viewpoints Oriented Requirements Method
He Yan xiang
WuhanUniversityJournalofNaturalSciences, 2001, (Z1) : 304 - 312
[42] New refinement relations of Z specifications for multiple viewpoints oriented requirements method
Yan-Xiang, H.
Qiang, S.
Qian, H.
Wuhan University Journal of Natural Sciences, 2001, 6 (1-2) : 304 - 312
[43] An Integration of Requirements and User Interface Specifications
Mukasa, Kizito Ssamula
Kaindl, Hermann
Proceedings of the 16th IEEE International Requirements Engineering Conference, 2008, : 327 - 328
[44] SPECIFICATIONS THAT ALSO MEET TOMORROWS REQUIREMENTS
BILLSTROM, I
TELE-ENGLISH EDITION, 1979, 31 (02): : 8 - 12
[45] SYSTEM TESTING - IMPLICATIONS OF REQUIREMENTS SPECIFICATIONS
DAVIS, AM
INFORMATION AND SOFTWARE TECHNOLOGY, 1990, 32 (06) : 407 - 414
[46] TRANSFORMATION OF ORGANIZATION OF SOFTWARE REQUIREMENTS SPECIFICATIONS
Matsuo, Yusuke
Ohnishi, Atsushi
ICSOFT 2009: PROCEEDINGS OF THE 4TH INTERNATIONAL CONFERENCE ON SOFTWARE AND DATA TECHNOLOGIES, VOL 1, 2009, : 291 - 294
[47] KNOWLEDGE REPRESENTATION AS THE BASIS FOR REQUIREMENTS SPECIFICATIONS
BORGIDA, A
GREENSPAN, S
MYLOPOULOS, J
COMPUTER, 1985, 18 (04) : 82 - 91
[48] Structured language for specifications of quantitative requirements
Dal Cin, M
FIFTH IEEE INTERNATIONAL SYMPOSIUM ON HIGH ASSURANCE SYSTEMS ENGINEERING, PROCEEDINGS, 2000, : 221 - 227
[49] Assessing the Quality of Software Requirements Specifications
Knauss, Eric
El Boustani, Christian
PROCEEDINGS OF THE 16TH IEEE INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE, 2008, : 341 - 342
[50] Mechanical and electrical specifications: Interdependent requirements
2001, Construction Specifications Institute Inc. (54):

← 1 2 3 4 5 →