Comparative analysis of tools for automated software re-engineering purposes

Proceedings - ISoLA 2006: 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation

Volumn , Issue , 2006, Pages 433-440

  Wagner, Christian ^a   Margaria, Tiziana ^b   Pagendarm, Hans Georg ^a  

^a German Dutch Wind Tunnels   (Germany)

^b UNIVERSITY OF POTSDAM   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION PROGRAMS; CODES (SYMBOLS); FORMAL METHODS; PROGRAM COMPILERS; SOFTWARE DESIGN;

ADEQUATE MODELS; COMMERCIAL PROJECTS; COMPARATIVE ANALYSIS; DESIGN PROJECTS; MODEL DRIVEN APPROACH; MODEL DRIVEN DEVELOPMENT; SOFTWARE APPLICATIONS; SOFTWARE REENGINEERING;

C++ (PROGRAMMING LANGUAGE);

EID: 77956423273     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ISoLA.2006.67     Document Type: Conference Paper

References (25)

1. A. Birkett, "Parsing C++," http://www.nobugs.org/developer/ parsing-cpp/, 2005.
2. The VFIASCO Project, http://os.inf.tu-dresden.de/vfiasco/related.html, 2006.
3. E. D. Willink, "Meta-compilation for c++," Ph.D. dissertation, Computer Science Research Group, University of Surrey, 2001.
4. B. Gough, An Introduction to GCC for the GNU Compilers gcc and g++. Network Theory Limited, 2005.
5. K. Wall and W. von Hagen, The definitive guide to GCC. Apress, 2004.
6. J. Menapace, J. Kingdon, and D. MacKenzie, "The stabs debug format," Cygnus Support, Tech. Rep., 1997.
7. D. Workgroup, "Dwarf Debugging Information Format Version 3," Free Standards Group, http://dwarf.freestandards.org/Dwarf3.pdf, Tech. Rep., Dezember 20, 2005.
8. B. King, "Gcc-xml," http://www.gccxml.org/HTML/Index.html, 2005.
9. D. Gannon, et al., "pc++/sage++," http://www.extreme.indiana. edu/sage/, 1999.
10. F. Bodin, P. Beckman, D. Gannon, J. Gotwals, S. Narayana, S. Srinivas, and B. Winnicka, "Sage++: An Object Oriented Toolkit and Class Library for Building Fortran and C++ Restructuring Tools," in Proc. Oonski '94, Oregon, 1994, 1994.
11. F. Bodin, P. Beckman, D. Gannon, S. Yang, S. Kesavan, A. Malony, and B. Mohr, "Implementing a Parallel C++ Runtime System for Scalable Parallel Systems," in ACM Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA'95), ser. Supercomputing Conference, Portland, Oregon, USA, Nov. 1993 1993, pp. 588-597.
12. S. McPeak, "Elkhound and Elsa," http://www.cs.berkeley.edu/smc- peak/elkhound/, 2005.
13. S. McPeak and G. C. Necula, "Elkhound: A Fast, Practical GLR Parser Generator," in Proceedings of Conference on Compiler Constructor (CC04), April 2004.
14. D. S. Wilkerson, "OINK," http://www.cs.berkeley.edu/dsw/oink. html, 2006.
15. Graphviz, http://www.graphviz.org/, 2006.
16. E. Koutsofios and S. C. North, Drawing graphs with dot, Murray Hill, NJ, February 4, 2002.
17. S. Chiba, "OpenC++," http://www.csg.is.titech.ac.jp/chiba/ openc++.html, 2003.
18. S. Chiba, "A Metaobject Protocol for C++," in ACM Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA'95), ser. SIGPLAN Notices 30(10), Austin, Texas, USA, oct 1995, pp. 285-299.
19. G. Masone, "XML Oriented Gnu AST ANalyzer," http://xogastan.sourceforge.net/index.html, 2004.
20. G. Antoniol, M. D. Penta, G. Masone, and U. Villano, "XOgastan: XML-Oriented gcc AST Analysis and Transformations," scam, vol. 00, p. 173, 2003.
21. R. C. Holt, A. Winter, and A. Schürr, "GXL: Towards a Standard Exchange Format," Universität Koblenz-Landau, Institut für Informatik, Rheinau 1, D-56075 Koblenz, Tech. Rep. 1-2000, 2000.
22. R. C. Holt, A. Schrr, S. E. Sim, and A. Winter, "GXL - Graph eXchange Language," http://www.gupro.de/GXL/tools/tools.html, 2002.
23. R. C. Holt, A. Malton, and T. Dean, "CPPX," http://swag.uwater-loo.ca/cppx/, 2001.
24. B. Canada, "DATRIX abstract semantic graph reference manual (version 1.4)," Bell Canada, Tech. Rep., May 2000.
25. Edison Design Group, http://www.edg.com/, 2006.