Approches formelles dans l'assistance au développement de logiciels : Indexation multiple et automatisée de composants logiciels

Software reuse requires that programmers be able to locate reusable components in software repositories. We propose that a general information retrieval framework, which is able to combine arbitrary indexing schemes and called Logical Information Systems, is applied to querying in software repositories. As an illustration, indexing of methods in a package is studied, and three indexing schemes are presented in this framework: a formal scheme, a semi-formal one, and an informal one. The formal one captures object-orientation by combining type isomorphism axioms and inheritance relations. The semi-formal scheme captures naming conventions and the informal one captures keywords in comments. Theory ofthe formal methods and details on the experiments are presented. This paper is an extended version of the 2004 AFADL French conference paper (Sigonneau et al., 2004).