Sciweavers

726 search results - page 9 / 146
» Reverse engineering: a roadmap
Sort
View
67
Voted
ICSE
2000
IEEE-ACM
15 years 3 months ago
Formal specification: a roadmap
Formal specifications have been a focus of software engineering research for many years and have been applied in a wide variety of settings. Their industrial use is still limited ...
Axel van Lamsweerde
116
Voted
WCRE
1995
IEEE
15 years 3 months ago
Strongest Postcondition Semantics as the Formal Basis for Reverse Engineering
Reverse engineering of program code is the process of constructing a higher level abstraction of an implementation in order to facilitate the understanding of a system that may be...
Gerald C. Gannod, Betty H. C. Cheng
ECMDAFA
2008
Springer
166views Hardware» more  ECMDAFA 2008»
15 years 1 months ago
Towards Roundtrip Engineering - A Template-Based Reverse Engineering Approach
Model driven development suggests to make models the main artifact in software development. To get executable models in most cases code generation to a "traditional" prog...
Manuel Bork, Leif Geiger, Christian Schneider, Alb...