UniBe > IAM
> SCG > Gabriela Arévalo
On January 14th, 2005 I finished the Ph.D. thesis entitled: "High-Level Views in Object-Oriented Systems using Formal Concept Analysis" under the supervision of
Prof. Oscar Nierstrasz and Prof.
Stéphane Ducasse in the Software
Composition Group in the University of Bern
My main research topic is the applicability of Formal Concept Analysis to Software
Understanding and Reengineering. In general terms, Formal Concept Analysis is
a technique coming from Graph Theory which allows to group elements based on
their similarities expressed in terms of predicates. We have focused our work
on different granularity levels of an object oriented software and we have built different high-level views to understand which are the different constraints imposed in a system.
- Classes: We analyse which are the different
groups of dependencies based on the state and behavior defined in a class.
- Class Hierarchies: We analyse which are the
commonalities between classes based on the hierarchical information.
- Software Patterns: We analyse which are the
recurring patterns we find a system to be able to understand how the different
pieces are working and collaborating together
- From October 2002, my research is involved in the context of Tools
and Techniques for Decomposing and Composing Software project (NFS project
2000-067855.02).
- From October 2000 until September 2002, my research was involved in the
context of PECOS Project (ESPRIT
project IST-20398).
- I also participated in SORTIE (A Collective Demonstration of Reverse
Engineering Tools) whose results were presented at WCRE 2001. Here is the
report the SCG P.U.R.E. produced: Sortie
Report, 2001
- From 1994 to September 1999, I worked in research in Geographic Information
Systems in L.I.F.I.A. research
lab in La Plata (Buenos Aires - Argentina). Based on this work, I made my
degree thesis "GIS + Oceans = A strange combination" with Dr.
Silvia Gordillo as advisor
- From September 1999 to September 2000, I took the courses of
EMOOSE Master project in Ecole des Mines
de Nantes in Nantes (France). My master thesis Object
Oriented Architectural Description of Frameworks was based on the
use of formal languages to represent object oriented frameworks and was
advised by Prof. Isabelle Borne
UniBe > IAM
> SCG > Gabriela Arévalo
Last modification: April 24th, 2005