Code search via topic-enriched dependence graph matching

Abstract—Source code contains textual, structural, and seman-tic information, which can all be leveraged for effective search. Some studies have proposed semantic code search where users can specify query topics in a natural language. Other studies can search through system dependence graphs. In this paper, we propose a semantic dependence search engine that integrates both kinds of techniques and can retrieve code snippets based on expressive user queries describing both topics and dependencies. Users can specify their search targets in a free form format describing desired topics (i.e., high-level semantic or functionality of the target code); a specialized graph query language allows users to describe low-level data and control dependencies in code and thus helps to refine the queries described in the free format. Our empirical evaluation on a number of software maintenance tasks shows that our search engine can efficiently locate desired code fragments accurately. Keywords-Code search; topic modelling; dependence graphs; I

Explicitating semantics in Enterprise Information Systems Models

140 pages Report for the Post-Doctorate diploma of the Université Henri Poincaré Supervisors: Hervé Panetto and Alexis AubryInteroperability can be defined as the ability of two or more systems to share, to understand and to consume information (IEEE, 1990). The work (Chen et al., 2006) in the INTEROP NoE project has identified three different levels of barriers for interoperability: technical, conceptual and organisational. Our research focuses on the conceptual level of interoperability, namely the ability to understand the exchanged information. Information may be defined as data linked to knowledge about this data. This research memory will show the results obtained during the Post Doc study referring to the published works. It deals with a first phase from our general research work that focuses on the study of the semantic loss that appears in the exchange of information about business concepts. In order to quantify the semantic gap between interoperating ISs, their semantics needs to be enacted and structured by enriching, normalising and analysing their conceptual models. We propose a conceptualisation approach for explicitation of the finest-grained semantics, embedded into conceptual models in order to facilitate the semantic matching between two different information systems that have to interoperate. The structure of the document represents the different steps and the research domain on which the study focused