?url_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Adc&rft.title=A+Method+and+Tool+for+Tracing+Requirements+into+Specifications&rft.creator=Hallerstede%2C+Stefan&rft.creator=Jastram%2C+Michael&rft.creator=Ladenberger%2C+Lukas&rft.subject=ADVANCE+Project&rft.description=%3Cp%3EThe+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%2C+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.%3C%2Fp%3E+%3Cp%3EWe+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.%3C%2Fp%3E+%3Cp%3EWe+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.%3C%2Fp%3E&rft.date=2012&rft.type=Monograph&rft.type=NonPeerReviewed&rft.relation=http%3A%2F%2Fwww.stups.uni-duesseldorf.de%2Fmediawiki%2Fimages%2F0%2F0c%2FPub-HalJasLad2012.pdf&rft.identifier=++Hallerstede%2C+Stefan+and+Jastram%2C+Michael+and+Ladenberger%2C+Lukas++(2012)+A+Method+and+Tool+for+Tracing+Requirements+into+Specifications.++Working+Paper.+UNSPECIFIED.++++(Submitted)++&rft.relation=http%3A%2F%2Fdeploy-eprints.ecs.soton.ac.uk%2F452%2F<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>