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 条
  • [1] Method for establishing machine tool performance specifications from part tolerance requirements
    Callaghan, R
    LASER METROLOGY AND MACHINE PERFORMANCE VI, 2003, : 507 - 516
  • [2] An authoring tool for informal and formal requirements specifications
    Hähnle, R
    Johannisson, K
    Ranta, A
    FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, PROCEEDINGS, 2002, 2306 : 233 - 248
  • [3] An object-oriented tool for tracing requirements
    Pinheiro, FAC
    Goguen, JA
    PROCEEDINGS OF THE SECOND INTERNATIONAL CONFERENCE ON REQUIREMENTS ENGINEERING, 1996, : 219 - 219
  • [4] An object-oriented tool for tracing requirements
    Pinheiro, FAC
    Goguen, JA
    IEEE SOFTWARE, 1996, 13 (02) : 52 - 64
  • [5] A tool for generating specifications from a family of formal requirements
    Bredereke, J
    FORMAL TECHNIQUES FOR NETWORKED AND DISTRIBUTED SYSTEMS, 2001, 69 : 319 - 334
  • [6] Engineering methods from method requirements specifications
    Gupta D.
    Prakash N.
    Requirements Engineering, 2001, 6 (3) : 135 - 160
  • [7] Applying the SCR method in software requirements specifications
    Kirner, TG
    XX INTERNATIONAL CONFERENCE OF THE CHILEAN COMPUTER SCIENCE SOCIETY - PROCEEDINGS, 2000, : 135 - 143
  • [8] ON THE DEVELOPMENT OF A METHOD TO SYNTHESIZE PROGRAMS FROM REQUIREMENTS SPECIFICATIONS
    COOKE, DE
    GATES, A
    INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 1991, 1 (01) : 21 - 38
  • [9] A Method to Evaluate the Suitability of Requirements Specifications for Offshore Projects
    Sven Overhage
    Oliver Skroch
    Klaus Turowski
    Business & Information Systems Engineering, 2010, 2 : 155 - 164
  • [10] A Method to Evaluate the Suitability of Requirements Specifications for Offshore Projects
    Overhage, Sven
    Skroch, Oliver
    Turowski, Klaus
    BUSINESS & INFORMATION SYSTEMS ENGINEERING, 2010, 2 (03) : 155 - 164
12345