Lightweight extraction of object models from bytecode

IEEE Transactions on Software Engineering

Volumn 27, Issue 2, 2001, Pages 156-169

  Jackson, Daniel ^a   Waingold, Allison ^a  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CODES (SYMBOLS); COMPUTER AIDED ANALYSIS; DATA STRUCTURES; ENCODING (SYMBOLS); HEURISTIC PROGRAMMING; INFERENCE ENGINES; JAVA PROGRAMMING LANGUAGE; OBJECT ORIENTED PROGRAMMING; PROGRAM DIAGNOSTICS; REVERSE ENGINEERING;

BYTECODE; HEURISTIC ANALYSIS; LIGHTWEIGHT ANALYSIS; OBJECT MODELS; PROGRAM UNDERSTANDING;

COMPUTER AIDED SOFTWARE ENGINEERING;

EID: 0035249574     PISSN: 00985589     EISSN: None     Source Type: Journal    
DOI: 10.1109/32.908960     Document Type: Article

References (18)

1. W. Bischoffberger, "Sniff: A Pragmatic Approach to a C++ Programming Environment," Proc. USENIX C++ Conf., pp. 67-81, 1992.
2. D. Coleman, P. Arnold, S. Bodoff, C. Dollin, and H. Gilchrist, Object-Oriented Development: The Fusion Method. Prentice Hall, 1993.
3. S. Cook and J. Daniels, Design Object Systems: Object-Oriented Modelling with Syntropy. Prentice Hall, 1994.
4. S.C. Choi and W. Scacchi, "Extracting and Restructuring the Design of Large Systems," IEEE Software, pp. 66-71, Jan. 1990.
5. D.E. D'Souza and A.C. Wills, Objects, Components and Frameworks With UML: The Catalysis Approach. Addison-Wesley, 1998.
6. E. Gamma, R. Helm, R. Johnson, and J. Vlissides, Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, 1995.
7. D. Jackson, "Aspect: Detecting Bugs with Abstract Dependences," ACM Trans. Software Eng. and Methodology, vol. 4, no. 2, pp. 109-145, Apr. 1995.
8. D. Jackson, "Alloy: A Lightweight Object Modelling Notation," Technical Report MIT-LCS-797, MIT Laboratory for Computer Science, Cambridge, Mass., Feb. 2000, Available at: http:// sdg.lcs.mit.edu/~dnj/publications.
9. D. Jackson and J. Chapin, "Redesigning Air-Traffic Control: A Case Study in Software Design," Software, pp. 63-70, May/June 2000.
10. D. Jackson, I. Schechter, and I. Shlyakhter, "Alcoa: The Alloy Constraint Analyzer," Int'l Conf. Software Eng., pp. 730-733, June 2000.
11. P. Linos and V. Courtois, "A Tool for Understanding ObjectOriented Program Dependences," Proc. Third Workshop Program Comprehension, pp. 20-27, Nov. 1994.
12. G.C. Murphy and D. Notkin, "Lightweight Lexical Source Model Extraction," ACM Trans. Software Eng. and Methodology, vol. 5, no. 3, pp. 262-292, July 1996.
13. G.C. Murphy, D. Notkin, and K. Sullivan, "Software Reflexion Models: Bridging the Gap Between Source and High-Level Models," Third ACM SIGSOFT Symp. Foundations of Software Eng. (FSE '95), pp. 18-28, Oct. 1995.
14. R. O'Callahan, "Generalized Aliasing as a Basis for Program Analysis Tools," PhD thesis, School of Computer Science, Carnegie Mellon Univ., Pittsburgh Penn., Dec. 2000.
15. J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, and W. Lorensen, Object Oriented Modeling and Design. Prentice Hall, 1991.
16. J. Rumbaugh, I. Jacobson, and G. Booch, The Unified Modeling Language Reference Manual. Addison-Wesley, 1999.
17. J.M. Spivey, The Z Notation, second ed., Prentice Hall, 1992.
18. J. Seemann and J.W. von Gudenberg, "Pattern-Based Design Recovery of Java Software," Proc. Foundations of Software Eng., pp. 10-16, Nov. 1998.