Sciweavers

1333 search results - page 1 / 267
» A Formal Approach for Reverse Engineering: A Case Study
Sort
View
WCRE
1999
IEEE
13 years 7 months ago
A Formal Approach for Reverse Engineering: A Case Study
As a program evolves, it becomes increasingly difficult to understand and reason about changes in the source code. Eventually, if enough changes are made, reverse engineering and ...
Gerald C. Gannod, Betty H. C. Cheng
ICFCA
2005
Springer
13 years 9 months ago
Lessons Learned in Applying Formal Concept Analysis to Reverse Engineering
A key difficulty in the maintenance and evolution of complex software systems is to recognize and understand the implicit dependencies that define contracts that must be respecte...
Gabriela Arévalo, Stéphane Ducasse, ...
BIOCOMP
2006
13 years 5 months ago
Reverse Engineering Approach in Molecular Evolution: Simulation and Case Study with Enzyme Proteins
- We developed a method of reverse engineering to compare the behaviour the enzyme proteins with the existing standard concepts. Our work is based on the strong assumption from the...
Sukanya Manna, Cheng-Yuan Liou
ECMDAFA
2007
Springer
100views Hardware» more  ECMDAFA 2007»
13 years 9 months ago
Reverse Engineering Models from Traces to Validate Distributed Systems - An Industrial Case Study
The paper targets the applicability of model-driven methodologies to the validation of complex systems and presents a case study of a mobile radio network. Validation relies on the...
Andreas Ulrich, Alexandre Petrenko
WCRE
2000
IEEE
13 years 7 months ago
Reverse Engineering from Assembler to Formal Specifications via Program Transformations
The FermaT transformation system, based on research carried out over the last sixteen years at Durham University, De Montfort University and Software Migrations Ltd., is an indust...
Martin P. Ward