@article{oai:nagoya.repo.nii.ac.jp:00013123, author = {TAKAHASHI, Kenji and YAMAMOTO, Shuichiro}, issue = {4}, journal = {IEICE transactions on information and systems}, month = {Apr}, note = {We study the correspondence between problem descriptions and requirements specification documents derived from them. Based on the results of this investigation, a model that integrates the problem space and the requirements specification space is developed. This integration is based on a semantic network representation. We also propose a model of the requirements elicitation process that is consistent with our empirical studies of traceability in requirements documents. In this process, analysts derived requirements specifications from incomplete and ambiguous problem descriptions given by customers, identify missing information, completed it, and then decide the system boundaries that define which part of the problem descriptions to implement as the target system. The model can be used to complete problem descriptions given by customers and determine the system boundaries.}, pages = {394--402}, title = {An Analysis of Traceability in Requirements Documents}, volume = {E78-D}, year = {1995} }