Title : 
A Traceability Technique for Specifications
         
        
            Author : 
Abadi, Aharon ; Nisenson, Mordechai ; Simionovici, Yahalomit
         
        
            Author_Institution : 
IBM Haifa Res. Lab., Haifa Univ. Campus, Haifa
         
        
        
        
        
        
            Abstract : 
Traceability in software involves discovering links between different artifacts, and is useful for a myriad of tasks in the software life cycle. We compare several different Information Retrieval techniques for this task, across two datasets involving real-world software with the accompanying specifications and documentation. The techniques compared include dimensionality reduction methods, probabilistic and information theoretic approaches, and the standard vector space model.
         
        
            Keywords : 
formal specification; information retrieval; software maintenance; system documentation; dimensionality reduction methods; documentation; information retrieval techniques; information theoretic approaches; probabilistic approaches; software life cycle; specifications; standard vector space model; traceability technique; Code standards; Documentation; Functional analysis; Information analysis; Information retrieval; Large scale integration; Manuals; Performance analysis; Programming; Software systems; Information Retrieval; Link; Software; Specifications; Traceability;
         
        
        
        
            Conference_Titel : 
Program Comprehension, 2008. ICPC 2008. The 16th IEEE International Conference on
         
        
            Conference_Location : 
Amsterdam
         
        
        
            Print_ISBN : 
978-0-7695-3176-2
         
        
        
            DOI : 
10.1109/ICPC.2008.30