Inspection is widely believed to be an effective software verification and validation (V&V) method. However, software inspection is labor-intensive. This labor-intensive nature is compounded by a view that since software inspection uses little technology, they do not fit in well with a more technology-oriented development environment. Nevertheless, software inspection is gaining in popularity. The researchers at KAIST Nuclaer I&C and Information Engineering Laboratory (NICIEL) developed the software tool managing and supporting inspection tasks, named “SIS-RT.” SIS-RT is designed to partially automate the software inspection processes. SIS-RT supports the analyses of traceability between the specification documents. To make SIS-RT prepared for the documents written in Korean language, certain techniques in natural language processing have been reviewed. Among those, the case grammar is most suitable for the analyses of Korean language. In this paper, the methodology for analyzing the traceability between documents written in Korean language will be proposed based on the case grammar. And some examples of the analysis will be discussed.