Simple and Efficient Relational Querying of Software Structures

Reverse Engineering - Working Conference Proceedings

Volumn , Issue , 2003, Pages 216-225

  Beyer, Dirk ^a   Noack, Andreas ^a   Lewerentz, Claus ^a  

^a BRANDENBURG UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

BINARY DECISION DIAGRAM (BDD); CODE CLONES; MANIPULATION LANGUAGES;

ABSTRACTING; ALGEBRA; BINARY CODES; COMPUTER AIDED DESIGN; COMPUTER ARCHITECTURE; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SOFTWARE; DATA STRUCTURES; DATABASE SYSTEMS; GRAPH THEORY; LOGIC PROGRAMMING; OBJECT ORIENTED PROGRAMMING; PATTERN MATCHING; QUERY LANGUAGES; SYNTACTICS;

REVERSE ENGINEERING;

EID: 0347412077     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/WCRE.2003.1287252     Document Type: Conference Paper

References (39)

1. G. Antoniol, R. Fiutem, and L. Cristoforetti. Design pattern recovery in object-oriented software. In Proceedings of the 6th IEEE International Workshop on Program Understanding (IWPC 1998), pages 153-160, 1998.
2. R. Behnke, R. Berghammer, E. Meyer, and P. Schneider. RELVIEW - a system for calculating with relations and relational programming. In E. Astesiano, editor, Proceedings of the 1st International Conference on Fundamental Approaches to Software Engineering (FASE 1998), LNCS 1382, pages 318-321, Berlin, 1998. Springer-Verlag.
3. W. R. Bischofberger. Sotograph: User's Guide and Reference Manual, Software Tomography GmbH, http://www.software-tomography.com, 2003.
4. D. Blostein and A. Schürr, Computing with graphs and graph transformations. Software: Practice & Experience, 29(3): 197-217, 1999.
5. H. Breitling, C. Lewerentz, C. Lilienthal, M. Lippert, F. Simon, and F. Steinbrückner. External validation of a metrics-based quality assessment of the JWAM framework. In Tagungsband des Workshops der GI-Fachgruppe 2.1.10.: Software - Messung und Bewertung, pages 32-49. Deutscher Universitaẗsverlag, Wiesbaden,'2002.
6. R. E. Bryant. Graph-based algorithms for boolean function manipulation. IEEE Transaction on Computers, C-35(8):677-691, 1986.
7. R. E. Bryant. Symbolic boolean manipulation with ordered binary decision diagrams. ACM Computing Surveys, 24(3):293-318, 1992.
8. 20 states and beyond. Information and Computation, 98(2): 142-170, 1992.
9. E. Burd and J. Bailey. Evaluating clone detection tools for use during preventative maintenance. In Proceedings of the 2nd IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2002), pages 36-43, 2002.
10. Y.-F. Chen, E. R. Gansner, and E. Koutsofios. A C++ data model supporting reachability analysis and dead code detection. IEEE Transactions On Software Engineering, 24(9):682-694, 1998.
11. O. Ciupke. Automatic detection of design problems in object-oriented reengineering. In Proceedings of Technology of Object-Oriented Languages and Systems (TOOLS 1999), pages 18-32, 1999.
12. W. F. Clocksin and C. S. Mellish. Programming in Prolog. Springer-Verlag, Berlin, 3rd edition, 1987.
13. J. Ebert, B. Kullbach, V. Riediger, and A. Winter. GUPRO - generic understanding of programs. Electronic Notes in Theoretical Computer Science, 72(2), 2002.
14. H. Fahmy and R. C. Holt. Software architecture transformations. In Proceedings of the International Conference on Software Maintenance (ICSM 2000), pages 88-96, 2000.
15. H. Fahmy, R. C. Holt, and J. R. Cordy. Wins and losses of algebraic transformations of software architectures. In Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001), pages 51-60, 2001.
16. L. M. G. Feijs, R. L. Krikhaar, and R. C. van Ommering. A relational approach to support software architecture analysis. Software: Practice & Experience, 28(4):371-400, 1998.
17. E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design Patterns. Addison-Wesley, Reading, MA, 1995.
18. M. R. Garey and D. S. Johnson. Computers and Intractability: A Guide to the Theory of NP-Completeness. W. H. Freeman, New York, 1979.
19. D. Heuzeroth, T. Holl, G. Högström, and W. Löwe. Automatic design pattern detection. In Proceedings of the 11th International Workshop on Program Comprehension (IWPC 2003), pages 94-103, 2003.
20. R. C. Holt. Structural manipulations of software architecture using Tarski relational algebra. In Proceedings of the 5th Working Conference on Reverse Engineering (WCRE 1998), pages 210-219, 1998.
21. R. C. Holt. Introduction to the Grok language, 2002. http://plg.uwaterloo.ca/holt/papers/grok-intro.html.
22. R. C. Holt, A. Winter, and A. Schürr. GXL: Toward a standard exchange format. In Proceedings of the 7th Working Conference on Reverse Engineering (WCRE 2000), pages 162-171, 2000.
23. R. Kazman and M. Burth. Assessing architectural complexity. In Proceedings of the 2nd Euromicro Conference on Software Maintenance and Reengineering (CSMR 1998), pages 104-112, 1998.
24. R. Kazman and S. J. Carrière. View extraction and view fusion in architectural understanding. In Proceedings of the 5th International Conference on Software Reuse (ICSR 1998), pages 290-299, 1998.
25. R. K. Keller, R. Schauer, S. Robitaille, and P. Pagé. Pattern-based reverse-engineering of design components. In Proceedings of the 21st International Conference on Software Engineering (ICSE 1999), pages 226-235. ACM, 1999.
26. C. Krämer and L. Prechelt. Design recovery by automated search for structural design patterns in object-oriented software. In Proceedings of the 3rd Working Conference on Reverse Engineering (WCRE 1996), pages 208-215, 1996.
27. J. Krinke. Identifying similar code with program dependence graphs. In Proceedings of the 8th Working Conference on Reverse Engineering (WCRE 2001), pages 301-309, 2001.
28. B. Kullbach and A. Winter. Querying as an enabling technology in software reengineering. In Proceedings of the 3rd European Conference on Software Maintenance and Reengineering (CSMR 1999), pages 42-50, 1999.
29. A. O. Mendelzon and J. Sametinger. Reverse engineering by visualizing and querying. Software - Concepts & Tools, 16(4):170-182, 1995.
30. K. Mens and R. Wuyts. Declarative codifying software architectures using virtual software classifications. In Proceedings of Technology of Object-Oriented Languages and Systems Europe 1999, pages 33-45, 1999.
31. G. C. Murphy, D. Notkin, and K. J. Sullivan. Software reflexion models: Bridging the gap between design and implementation. IEEE Transactions On Software Engineering. 27(4):364-380, 2001.
32. J. Niere, W. Schäfer, J. P. Wadsack, L. Wendehals, and J. Welsh. Towards pattern-based design recovery. In Proceedings of the 24th International Conference on Software Engineering (ICSE 2002), pages 338-348, 2002.
33. M. Sefika, A. Sane, and R. H. Campbell. Monitoring compliance of a software system with its high-level design models. In Proceedings of the 18th International Conference on Software Engineering (ICSE 1996), pages 387-396, 1996.
34. F. Shull, W. L. Melo, and V. R. Basili. An inductive method for discovering design patterns from object-oriented software systems. Technical Report CS-TR-3597. Computer Science Department, University of Maryland, 1996.
35. H. M. Sneed and T. Dombovari. Comprehending a complex, distributed, object-oriented software system: A report from the field. In Proceedings of the 7th International Workshop on Program Understanding (IWPC 1999), pages 218-225, 1999.
36. P. Tonella and G. Antoniol. Object oriented design pattern inference. In Proceedings of the International Conference on Software Maintenance (ICSM 1999), pages 230-238, 1999.
37. Wind River Systems, Inc. Sniff+. http://www.windriver.com/products/sniff.plus/.
38. K. Wong. Rigi User's Manual, Version 5.4.4, 1998. http://ftp.rigi.csc.uvic.ca/pub/rigi/doc/.
39. J. Wu, A. E. Hassan, and R. C. Holt. Using graph patterns to extract scenarios. In Proceedings of the 10th International Workshop on Program Comprehension (IWPC 2002), pages 239-247, 2002.