A formative evaluation of Information Retrieval Techniques applied to Software Catalogues