Industrial deployment of system engineering methods providing high dependability and productivity


A Method and Tool for Tracing Requirements into Specifications

Hallerstede, Stefan and Jastram, Michael and Ladenberger, Lukas (2012) A Method and Tool for Tracing Requirements into Specifications. Working Paper. UNSPECIFIED. (Submitted)

Full text not available from this repository.

Official URL:


<p>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 way that the reasoning permits drawing conclusions about the system description.</p> <p>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.</p> <p>We discuss tool support for our approach of requirements tracing that combines informal requirements modelling with formal modelling and verification while tracing requirements among each other and into the formal model.</p>

Item Type:Monograph (Working Paper)
Additional Information:Submitted to Science of Computer Programming
Subjects:ADVANCE Project
ID Code:452
Deposited By: Michael Butler
Deposited On:11 Sep 2012 18:46
Last Modified:11 Sep 2012 18:46

Repository Staff Only: item control page

Deploy-Project - All right reserved