Model-driven reverse engineering

IEEE Software

Volumn 21, Issue 4, 2004, Pages 45-53

  Rugaber, Spencer ^a   Stirewalt, Kurt ^b  

^a Georgia Institute of Technology   (United States)

^b Michigan State University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; AUTOMATIC PROGRAMMING; C (PROGRAMMING LANGUAGE); COMPUTER SOFTWARE MAINTENANCE; COMPUTER SOFTWARE SELECTION AND EVALUATION; DATA PROCESSING; MATHEMATICAL MODELS; NONLINEAR EQUATIONS; NUMERICAL ANALYSIS; POLYNOMIALS; PROJECT MANAGEMENT; REVERSE ENGINEERING;

ALGEBRAIC SPECIFICATION LANGUAGE; APPLICATION DOMAIN MODEL; AUTOMATIC CODE GENERATION; FOREIGN CODE; MODEL DRIVEN REVERSE ENGINEERING; ROOT FINDING DOMAIN MODEL; SOFTWARE PACKAGE SPECWARE;

COMPUTER AIDED SOFTWARE ENGINEERING;

EID: 3242669953     PISSN: 07407459     EISSN: None     Source Type: Journal    
DOI: 10.1109/MS.2004.23     Document Type: Article

References (13)

1. E.J. Weyuker, "Axiomatizing Software Test Data Adequacy," IEEE Trans. Software Eng., Dec. 1986, pp. 1128-1138.
2. Specware User Guide: Specware 2.0.3, Kestrel Inst. and Kestrel Development Corp., 1998.
3. G. Arango and R. Prieto-Díaz, Domain Analysis and Software Systems Modeling, IEEE CS Press, 1991.
4. S. Rugaber, T. Shikano, and K. Stirewalt, "Adequate Reverse Engineering," Proc. 16th IEEE Int'l Conf. Automated Software Eng., IEEE CS Press, 2001, pp. 232-244.
5. G. Dalhquist and Å. Björck, Numerical Methods, Prentice-Hall, 1974.
6. G.E. Forsythe, M.A. Malcolm, and C.B. Moler, Computer Methods for Mathematical Computations, Prentice-Hall, 1977.
7. W.H. Press et al., Numerical Recipes in C: The Art of Scientific Computing, 2nd ed., Cambridge University Press, 1992.
8. V.R. Basili and H.D. Mills, "Understanding and Documenting Programs," IEEE Trans. Software Eng., May 1982, pp. 270-283.
9. B.W. Boehm et al., "Cost Models for Future Software Life Cycle Processes: COCOMO 2.0," Annals of Software Eng. 1, Nov. 1995, pp. 57-94.
10. L.H. Putnam, "A General Empirical Solution to the Macro Software Sizing and Estimation Problem," IEEE Trans. Software Eng., July 1978, pp. 345-361.
11. D.R. Smith and S. Kambhampati, Automated Synthesis of Planners and Schedulers, project report, Kestrel Inst., 13 May 1997; www.kestrel.edu/HTML/projects/arpa-plan2/index.html.
12. Object Management Group, OMG Unified Modeling Language Specification, v. 1.4, OMG document 01-09-67, 2001; www.omg.org/cgi-bin/apps/doc?formal/01-09-67.pdf.
13. W.M. Ho et al., "UMLAUT: An Extendible UML Transformation Framework," Proc. 14th IEEE Int'l Conf. Automated Software Eng., IEEE CS Press, 1999, pp. 275-278.