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

共 47 条

[11]

Essamée D, 2007, LECT NOTES COMPUT SC, V4355, P252

[12]

Eunsuk Kang, 2010, Proceedings of the 2010 IEEE 18th International Conference on Requirements Engineering (RE2010), P262, DOI 10.1109/RE.2010.38

[13]

Gmehlich R, 2011, LECT NOTES COMPUT SC, V6991, P195, DOI 10.1007/978-3-642-24559-6_15

[14]

Gotel O. C. Z., 1994, Proceedings of the First International Conference on Requirements Engineering (Cat. No.94TH0613-0), P94, DOI 10.1109/ICRE.1994.292398

[15] Reference model for requirements and specifications [J].

Gunter, Carl A., 2000, IEEE, United States (17)

[16]

Hallerstede Stefan, 2008, Formal Methods for Components and Objects. 7th International Symposium, FMCO 2008. Revised Lectures, P139

[17]

Hoare C.A.R., 1998, Unifying theories of programming

[18]

Hood C, 2005, OPTIMIEREN REQUIREME

[19]

IEEE, 1997, 8301998 IEEE

[20]

JACKSON M, 1995, PROC INT CONF SOFTW, P283, DOI 10.1145/225014.225041

← 1 2 3 4 5 →