Table des matières
Bibliography Directory
General Papers
- Reverse Engineering: A Roadmap by Hausi Müller at al.
- The Vienna Component Framework Enabling Composition Across Component Models by Johann Oberleitner et al.
- A technique for automatic component extraction from object-oriented programs by refactoring by Hironori Washizakia et al.
- Program and interface slicing for reverse engineering by Jon Beck et al.
- A Simple Method for Extracting Models from Protocol Code by David Lie et al.
- An Intermediate Representation for Integrating Reverse Engineering Analyses by Rainer Koschke, et al.
Architecture Reverse Engineering
- Reverse Engineering Software-Models of Component-Based Systems by Landry Chouambe, Benjamin Klatt and Klaus Krogmann http://www.ieeexplore.ieee.org/xpl/freeabs_all.jsp?isnumber=4493286&arnumber=4493304&count=63&index=17
Digital Object Identifier: 10.1109/CSMR.2008.4493304
Java Reverse Engineering
- Experiences with the Development of a Reverse Engineering Tool for UML Sequence Diagrams: A Case Study in Modern Java Development by Matthias Merdes et al.
Reverse Engineering a Large Component-based Software Product by JM Favre and al.
Patterns Reverse Engineering
- Pattern-Based Reverse-Engineering of Design Components by Rudolf K. Keller et al.
- An approach for reverse engineering of design patterns by Ilka Philippow et al.
- Reverse Engineering of Design Patterns from Java Source Code by Nija Shi et al.
- A Comparison of Reverse Engineering Tools Based on Design Pattern Decomposition by Francesca Arcelli et al.
- Automatic Detection of Design Pattern for Reverse Engineering by Hakjin Lee et al.
- Experiments on Design Pattern Discovery by Jing Dong et al.
Code Model Checking , Source code Analysis
- Model-checking Distributed Components: The Vercors Platform by Tomas Barros at al.
- Source Code Analysis: A Road Map by David Binkley
- Formal verification of software source code through semi-automatic modeling by Cindy Eisner
- Counterexample-Guided Abstraction Refinement by Edmund M. Clarke et al.
Trace Exploration
- A Survey of Trace Exploration Tools and Techniques by Abdelwahab Hamou-Lhadj et al.
- Bandera: extracting finite-state models from Java source code by J.C. Corbett et al.
- Tool-supported program abstraction for finite-state verification by M.B. Dwyer et al.
- Component Recovery, Protocol Recovery and Validation in Bauhaus by Rainer Koschke et al.
Java Annotations
- An overview of JML tools and applications by Lilian Burdy et al.
Verification of Software Components and Code
- Roadmap for enhanced languages and methods to aid verification by Gary T. Leavens et al.
- Modular Verification of Software Components in C by Sagar Chaki et al.
- Predicate Abstraction of ANSI-C Programs Using SAT by Edmund Clarke at al.
- The SLAM Project: Debugging System Software via Static Analysis by Thomas Ball et al.
Draft directory
few things to write 
The FRACTAL component model and its support in Java: Experiences with Auto-adaptive and Reconfigurable Systems
zipped collections of Pascal's web browsing on the subject gen.zip reengineering.zip dsrg.zip
another bibtex file reengineering.zip
Members publications on the subject
DSRG
- Runtime Support for Advanced Component Concepts by Tomas Bures et al.
- Modeling Environment for Component Model Checking from Hierarchical Architecture by Pavel Parizeka et al.
- Specification and Generation of Environment for Model Checking of Software Components Pavel Parizek et al.
- Model Checking of Component Behavior Specification: A Real Life Experience by Pavel Jezek et al.
machplasilkofron-explosion.pdf
- Model Checking of Software Components: Combining Java PathFinder and Behavior Protocol Model Checker by Parízek Pavel, et al.
parizekplasilkofron-combiningjpfbpchecker.pdf
- Model Checking of Software Components: Making Java PathFinder Cooperate with Behavior Protocol Checker by Parízek Pavel, et al.
OBASCO
- Java Implementation of a Component Model with Explicit Symbolic Protocols by Sebastian Pavel et al.
Project publications
Prague'07 Workshop
draft version 1.0 eco_ws_report.pdf
nothing more to say