Index 
Welcome
Search

Info.
Personal
Publications
Ph.D. thesis
References
Teaching
Tutoring
Conferences
RDT

Ptidej
Introduction
Reengineering
Modification
Analysis
Detection
Demo
Download

Caffeine
Introduction
Download

PatternsBox
Introduction
Download

Eclipse
Prolog
Claire
Ptidej

LaTeX
Bibex
Multilingual.bst
Vertical Line

Misc.
Amiga
Capoeira
Citations
Red Flag
Human Rights
Titrax
BusClock

Private
Conferences
Shared files
Pictures
Downloads

    
Visits for this page:
5453
Since 07/09/20

Valid HTML 4.01!
   Ph.D. thesis 
This page is dedicated to my Ph.D. thesis dissertation on A framework for design motif traceability.
Design patterns are important in object-oriented software engineering. They contribute to the quality of programs. They offer design motifs, elegant solutions to recurrent design problems. After implementation, the motifs are disseminated in source code. They are not available directly for maintenance; however they would help in understanding program implementation and design and in ensuring the quality of programs after maintenance. This thesis explores models and algorithms to identify semi-automatically micro-architectures in source code, which are similar to motifs, and to ensure their traceability between implementation and reverse engineering phases. Meta-modeling is used to describe design motifs and Java programs. It leads to characterize certain interclass relations (association, aggregation, and composition) offered by design languages, such as UML, to precise their properties (access type, lifetime, exclusivity, and multiplicity), and to identify them with static and dynamic analyses. It also leads to translate motifs into constraint systems and to identify micro-architectures, which are similar to motifs (complete and distorted forms), by solving constraint satisfaction problems. Explanation-based constraint programming allows guiding the solve interactively and explaining identified micro-architectures. The Ptidej tool suite implements the proposed models and algorithms and is integrated with the Eclipse development environment for Java. It includes the PADL meta-model, derived from the PDL meta-model; Static and dynamic analysis tools, Introspector and Caffeine; A constraint solveur, PtidejSolver, derived from the PaLM explanation-based constraint solver.
Here is the official version of my Ph.D. thesis dissertation, such as defended and submitted to École des Mines de Nantes and university of Nantes
 TextSlides
11 Jul 03Ph.D. thesis dissertation, version 1.0.0. In French.bibzippdf

The following document is the latest version of my Ph.D. thesis dissertation, in which I fix some bugs and I take into account comments from readers; Also, I offer a long version of this dissertation, more complete, with in-sections and in-chapters tables of content, a detailed bibliography, a progress report on Ptidej.
 Text
22 Nov 05Ph.D. thesis dissertation, version 1.0.6.
In French.
bibzip
22 Nov 05Ph.D. thesis dissertation, long version 1.0.6.
In French.
bibzip