Decompilation: the enumeration of types and grammars
ACM Transactions on Programming Languages and Systems (TOPLAS)
Reverse engineering and system renovation—an annotated bibliography
ACM SIGSOFT Software Engineering Notes
Design of Flexible Static Program Analyzers with PQL
IEEE Transactions on Software Engineering
Program transformation to enhance the reuse potential of procedural software
SAC '94 Proceedings of the 1994 ACM symposium on Applied computing
Mapping Procedural Patterns to Object-Oriented Design Patterns
Automated Software Engineering
A basis for process improvement inapplication management
Software Quality Control
Graph-based tools for re-engineering
Journal of Software Maintenance: Research and Practice
Tools for understanding the behavior of telecommunication systems
Proceedings of the 25th International Conference on Software Engineering
Deriving a logical data model for a system using the RECAST method
WCRE '95 Proceedings of the Second Working Conference on Reverse Engineering
Finding objects in procedural programs: an alternative approach
WCRE '95 Proceedings of the Second Working Conference on Reverse Engineering
Some Verification Issues at NASA Goddard Space Flight Center
Verified Software: Theories, Tools, Experiments
Graph-based structural analysis for telecommunication systems
Graph transformations and model-driven engineering
Teach Z by reverse engineering specifications from real-life implementations
TFM'06 Proceedings of the 2006 conference on Teaching Formal Methods: practice and experience
Hi-index | 0.00 |